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