2020-07-08 - tools
11:11	<arturo>	live-hacking puppetmaster with https://gerrit.wikimedia.org/r/c/operations/puppet/+/610029 (T234617)	[tools]