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