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

[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.