Re: [PHP-DEV] bugs.php.net downtime

[Pedro Magalhães]

On Fri, Aug 3, 2018 at 6:44 PM Gabriel Caruso <carusogabrie...@gmail.com>
wrote:

> Pedro
>
> This was previously reported as a bug
> https://bugs.php.net/bug.php?id=76079.
>

I knew I had read about it somewhere! There it is. Thanks!