Rasmus Lerdorf in php.internals (Wed, 29 Aug 2018 08:07:21 -0700): >On Tue, Aug 28, 2018 at 2:52 AM, Jan Ehrhardt <php...@ehrhardt.nl> wrote: > >> https://bugs.php.net/bug.php?id=76743
The newserver has picked up the feed as well. -- Jan -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
