2016-08-29 - tools.jouncebot
15:38	<bd808>	Cherry-picked https://gerrit.wikimedia.org/r/#/c/307315/ and restarted bot	[tools.jouncebot]