2020-06-15 - production
15:16	<moritzm>	upgrading wtp1025-wtp1027 to PHP 7.2.31	[production]