Note that the next 7.0 release of PHP should have the official fix, which we can backport, Since it has been commited upstream (in git), if you'd rather I backport the fix to our PHP7.0 level, I can do that.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1560092 Title: Workaround PHP bug #71870 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/php-zeta-console-tools/+bug/1560092/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
