Seems to work, got this thread from internals :) On Wed, Aug 29, 2018, 18:08 Rasmus Lerdorf <[email protected]> wrote:
> On Tue, Aug 28, 2018 at 2:52 AM, Jan Ehrhardt <[email protected]> wrote: > > > https://bugs.php.net/bug.php?id=76743 > > > > Are we back? > > > > Hopefully. Watching it closely today. >
