"Christoph M. Becker" in php.internals (Tue, 31 Jul 2018 16:59:15 +0200): >On 31.07.2018 at 16:50, Jan Ehrhardt wrote: > >> 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? > >Joe?
It was not Joe's day: https://github.com/php/php-src/commit/1891246c6637119e7ff5ab0d9826cf8f19223dac#r29914014 -- Jan -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php