2020-07-09 - production
12:22	<moritzm>	rebooting dbmonitor1001 / tendril.wikimedia.org for kernek update	[production]