2018-01-03 - tools
11:29	<arturo>	deploy https://gerrit.wikimedia.org/r/#/c/401716/ and https://gerrit.wikimedia.org/r/394101 using clush	[tools]