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