Empty commit to trigger rebuild.

The last commit was pushed while GitHub was having serious
availability issues, and apparently the notification to our
build bot was lost.