Hi Ondřej, > > I forwarded your patch to upstream and I think we might just wait for > > PHP 7.2.3 that should be released in a month, and only if they don’t > > accept the PR I will patch Debian package. Ok?
FYI I was just linked to https://email@example.com/msg93532.html. Regards, -- ,''`. : :' : Chris Lamb `. `'` la...@debian.org / chris-lamb.co.uk `-