Re: [PHP-DEV] The site bugs.php.net appears to be down

2017-11-17 Thread Rasmus Lerdorf
Yeah, we know. Martin contacted Servergrove about 12 hours ago and we haven't heard back. The machine itself is unreachable. -Rasmus

Re: [PHP-DEV] The site bugs.php.net appears to be down

2017-11-17 Thread Good Guy
On 17/11/2017 22:03, Ryan Jentzsch wrote: I am trying to look up and/or enter a bug report: downforeveryoneorjustme.com reports: Is bugs.php.net down? It's not just you! bugs.php.net looks down from here. Could be a bug! :-) :-) :-)

Re: [PHP-DEV] The site bugs.php.net appears to be down

2017-11-17 Thread Peter Kokot
It's down here as well. On 17 November 2017 at 23:03, Ryan Jentzsch wrote: > I am trying to look up and/or enter a bug report: > > downforeveryoneorjustme.com reports: > Is bugs.php.net down? > It's not just you! bugs.php.net looks down from here. -- Peter Kokot -- PHP Internals - PHP R

[PHP-DEV] The site bugs.php.net appears to be down

2017-11-17 Thread Ryan Jentzsch
I am trying to look up and/or enter a bug report: downforeveryoneorjustme.com reports: Is bugs.php.net down? It's not just you! bugs.php.net looks down from here.