Subject: Re: bug#66651:
From: Tobias Geerinckx-Rice <[email-masked]>
To: Hugo Buddelmeijer <[email-masked]>
Cc: [email-masked]
Date: Fri, 20 Oct 2023 22:56:33 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

On 2023-10-20 21:39, Hugo Buddelmeijer wrote:
> This issue can be closed as far as I'm concerned, but I don't know how
> to do that. Let's try this:
> 
> /close

Add ‘-done’ or ‘-close’ to the bug address, as I've done here.

Kind regards,

T G-R

Sent from a Web browser.  Excuse or enjoy my brevity.