2020-06-08 - production
08:07	<moritzm>	upgrading mw1349-mw1383 to PHP 7.2.31	[production]