1. 2019-06-01 Re: [PHP-DEV] PHP 7.2.19 Released php-inter Scott Dutton 2. 2019-06-01 Re: [PHP-DEV] PHP 7.2.19 Released php-inter Larry Garfield 3. 2019-05-31 Re: [PHP-DEV] PHP 7.2.19 Released php-inter Ryan McCullagh 4. 2019-05-30 [PHP-DEV] PHP 7.2.19 Released php-inter Sara Golemon