28 Aug
2015
28 Aug
'15
8:40 p.m.
On Aug 28, 2015, at 2:15 PM, Marc Delisle <marc@infomarc.info> wrote:
They may ask for a bug to be filed on bugs.php.net so it can be tracked. I did a quick search and it doesn’t seem like one has been reported yet. Did you want the honours of filing?
Thanks Marc! I’ve given Johannes and Andrey the heads up.