2018-03-07 - tools
13:47	<arturo>	deploying more apt pinnings: https://gerrit.wikimedia.org/r/#/c/416934/	[tools]