2018-12-13 - production
19:40	<moritzm>	removed labvirt1014 from debmonitor DB, has been renamed to cloudvirt1014	[production]