2020-06-10 - production
07:31	<moritzm>	upgrade mw1298-mw1309 (job runners) to PHP 7.2.31	[production]