2019-02-11 - production
08:17	<moritzm>	removed cloudcontrol2001-dev.codfw.wmnet from debmonitor (actual hostname in use is cloudcontrol2001-dev.wikimedia.org)	[production]