2021-02-15 - production
15:33	<moritzm>	installing linux-4.19 update for Stretch on servers which have it installed (no reboots, just updating the kernels)	[production]