2019-03-07 - wmflabsdotorg
23:37 <bd808> Updated DNS to make tools-login.wmflabs.org a CNAME of login.tools.wmflabs.org [wmflabsdotorg]