2018-07-17 - production
13:25	<moritzm>	pruned obsolete hosts from debmonitor	[production]