2020-07-08 - tools
11:16	<arturo>	merged https://gerrit.wikimedia.org/r/c/operations/puppet/+/610029 -- important change to front-proxy (T234617)	[tools]