developer.php is not updated for now
some of you might have it noticed: developer.php was not updated for
more than 24 hours. Reason for this is that merkel is restricted, and
so pushing the bugs-ldap-file to merkel does not work anymore. This
will work automatically again after merkel becoming unrestricted.
For the future, I'll add an additional cron job on merkel that does
the updates via wget, if this file is too old. With this, we would
have now only additional delays, but not being totally stalled.
PGP 1024/89FB5CE5 DC F1 85 6D A6 45 9C 0F 3B BE F1 D0 C5 D1 D9 0C