2016-12-07 - tools
09:32	<YuviPanda>	cherry-pick https://gerrit.wikimedia.org/r/324210 and https://gerrit.wikimedia.org/r/324211	[tools]