2020-10-29 - production
08:54	<moritzm>	fixing up stray jenkins auto restart timers on secondary releases server	[production]