Am 28.05.2018 um 22:16 schrieb Nikita Popov: > Good point, I have added a note in UPGRADING in > https://github.com/php/php-src/commit/c70468b8d3c1d6711da0db84cba30d87d2482e5c
Thank you so much, Nikita! -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php