>
> > In fact, I sent a mail to the bug server this morning to close it, but it
> > doesn't seem to have been registered.
>
> Hmm... you are right.  Does debbugs have problems again?
>

Looks like it. I've also noticed that 19759 (Release 25.1) list as being
blocked by 21104, however, this has been marked as "done". Also, the
non-existing bug number "1" is part of the list.

I mailed Glenn Morris about this but I got no reply -- maybe gnu.org has
problems with more than the bug server?

    -- Anders