Revert e01886327d

Sorry, this was nonsense.
Merge remote-tracking branch 'github/build-bot-master' into bleeding-edge-master
2014.12.27-17.00