The site bugs.php.net appears to be down

  101136
November 17, 2017 22:03 ryan.jentzsch@gmail.com (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.
  101137
November 17, 2017 22:20 peterkokot@gmail.com (Peter Kokot)
It's down here as well.

On 17 November 2017 at 23:03, Ryan Jentzsch jentzsch@gmail.com> 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
  101138
November 18, 2017 01:36 xfsgpr@hotmail.com (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! :-) :-) :-)
  101139
November 18, 2017 03:28 rasmus@lerdorf.com (Rasmus Lerdorf)
Yeah, we know. Martin contacted Servergrove about 12 hours ago and we
haven't heard back. The machine itself is unreachable.

-Rasmus