2020-01-17 - production
11:48	<moritzm>	upgrading PHP 7.2 on netmon* (also apache restart for SSL update)	[production]