2018-12-03 - production
08:32	<moritzm>	restarted keyholder agents/proxies on netmon1002/netmon2001 to pick up removal of netbox key	[production]