2019-11-04 - production
11:08	<moritzm>	uploaded PHP 7.2.24 to apt.wikimedia.org stretch-wikimedia/component/php72 (T237239)	[production]