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? -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php