2020-06-03 - production
08:19	<moritzm>	upgrading mw1261 to PHP 7.2.31	[production]