2020-07-07 - tools
09:59	<arturo>	point DNS tools.wmflabs.org A record to 185.15.56.60 (tools-legacy-redirector) (T247236)	[tools]