cosmetics
Merge remote-tracking branch 'github/build-bot-master' into bleeding-edge-master
2014.11.05-10.00