2020-06-11 - production
09:54	<moritzm>	upgrading mwmaint* to PHP 7.2.31	[production]