2017-06-19 - xtools
06:15 <samwilson> Redirected //tools.wmflabs.org/xtools-dev/ to //xtools-dev.wmflabs.org/ [xtools]