2019-09-05 - production
10:25	<moritzm>	upgrading mw1238-mw1258 to PHP 7.2.22	[production]