GitHub out of sync

[Till Westmann]

Hi,

the GitHub mirror is again not up to date (it’s at fa8a7ad while 
git-wip is at a590763).
Does anybody have a small change to push a and trigger the mirroring?
Cheers,
Till