2020-06-11 - production
07:34	<moritzm>	upgrading remaining app servers in eqiad to PHP 7.2.31	[production]