Subject: Re: bug#71967: Issue can be closed.

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Sun, 06 Oct 2024 12:58:25 +0000

Hmmm, never mind.  You did.

My client was hiding that fact for some reason.  I suspect it hates me.

Kind regards,

T G-R