Most of gnu.org was down for half a day, and during that time
debbugs.gnu.org was accepting email. Last time this happened, that mail
was lost, and it seems like it's happened this time, too. I've resent
my messages, and you should probably check your own messages and resend
(or not).
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no