Meaningless commit for pull request #1294
Trying to "wake up" GitHub.