On github PHP 7.1.21 appeared right now: https://github.com/php/php-src/releases/tag/php-7.1.21 Shouldn't that have been PHP 7.1.21RC1? -- Jan
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
