Re: Re: private bug reports
| From: | Christoph Becker | Date: | Thu, 20 Feb 2014 21:18:31 +0000 |
| Subject: | Re: Re: private bug reports | ||
| References: | 1 2 3 4 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-72723@lists.php.net to get a copy of this message | ||
Ferenc Kovacs wrote:
>>> On Tue, Feb 18, 2014 at 8:43 PM, Tjerk Meesters <tjerk.meesters@gmail.com>
>>> wrote:
>>>
>>>> The corresponding (private) bug is:
>>>> https://bugs.php.net/bug.php?id=55856
>
> I've opened it up, thanks for spotting it.
Shouldn't the status be set to "closed"?
--
Christoph M. Becker