Rasmus Lerdorf in php.internals (Wed, 29 Aug 2018 08:07:21 -0700):
>On Tue, Aug 28, 2018 at 2:52 AM, Jan Ehrhardt wrote:
>
>> https://bugs.php.net/bug.php?id=76743
The newserver has picked up the feed as well.
--
Jan
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe,
Seems to work, got this thread from internals :)
On Wed, Aug 29, 2018, 18:08 Rasmus Lerdorf wrote:
> On Tue, Aug 28, 2018 at 2:52 AM, Jan Ehrhardt wrote:
>
> > https://bugs.php.net/bug.php?id=76743
> >
> > Are we back?
> >
>
> Hopefully. Watching it closely today.
>
On Tue, Aug 28, 2018 at 2:52 AM, Jan Ehrhardt wrote:
> https://bugs.php.net/bug.php?id=76743
>
> Are we back?
>
Hopefully. Watching it closely today.
https://bugs.php.net/bug.php?id=76743
Are we back?
--
Jan
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php