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