2018-02-21 - tools
17:02	<arturo>	revert last change https://gerrit.wikimedia.org/r/#/c/413198/	[tools]