2020-07-09 - production
17:27	<moritzm>	rebooting planet1002 (planet.wikimedia.org) for kernel update	[production]