2018-07-18 - production
12:51	<moritzm>	installing PHP5 security updates (remaining hosts which only use -cli)	[production]