2017-11-20 - tools
00:52	<andrewbogott>	cherry-picking https://gerrit.wikimedia.org/r/#/c/392172/ onto the tools puppetmaster	[tools]