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