2019-10-30 - tools
13:53	<arturo>	replacing SSL cert in tools-proxy-x server apparently OK (merged https://gerrit.wikimedia.org/r/c/operations/puppet/+/545679) T235252	[tools]