2019-03-08 - wmflabsdotorg
00:30	<bd808>	Updated DNS to make tools-dev.wmflabs.org a CNAME of stretch-dev.tools.wmflabs.org	[wmflabsdotorg]