2019-01-15 - tools
18:46	<bd808>	Dropped A record for www.tools.wmflabs.org and replaced it with a CNAME pointing to tools.wmflabs.org.	[tools]