Is it on purpose that 7.2.15 RC1 was not released last week? There are enough changes after 7.2.14: https://github.com/php/php-src/blob/d978590c745c23940e29d05d612f673ea45f1d91/NEWS -- Jan
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
