2017-05-25 - tools.admin
16:34	<bd808>	Cherry-picked https://gerrit.wikimedia.org/r/#/c/355631/	[tools.admin]