Am 11.03.2019 um 15:20 schrieb Derick Rethans:
don't forget the PHP-7.4 branch, which is *not* master (master is 8.0).
Nikita already merged it into PHP-7.4 and master. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
