2018-11-26 - production
08:35	<moritzm>	removed labvirt1015 from debmonitor DB (got renamed to cloudvirt1015)	[production]