2020-02-06 - tools
10:44	<arturo>	merged https://gerrit.wikimedia.org/r/c/operations/puppet/+/565556 which is a behavior change to the Toolforge front proxy (T234617)	[tools]