2020-06-09 - production
08:28	<moritzm>	upgrading deployment servers to PHP 7.2.31	[production]