2020-06-09 - production
08:39	<moritzm>	upgrading snapshot servers to PHP 7.2.31	[production]