2023-12-20 - tools
10:01	<taavi>	rebooting tools-sgeweblight-10-18, -24, -25, to get rid of a large number of jobs in deleting status	[tools]