[drupal-devel] Problems with drupal.org

[Nedjo Rogers]

Of course, if drupal.org is experiencing overload, and we all respond by
checking it out (as, admittedly, I just did), it won't help matters!