Noted that for the next time. Thanks!

On Fri, Aug 21, 2015 at 11:58 AM martin rudalics <rudalics@gmx.at> wrote:

> > I don't know how to close a debbugs. I believe only a debbugs admin can
> do
> > that?
>
> It's easy.  You have to append -done to the bug number in the recipient.
> As I'm doing just now ...
>
> martin
>
>
>