Zain Jabbar schreef op za 16-04-2022 om 04:18 [-1000]:
> Aloha Maxime Devos,
> 
> Your suggestion worked! I did the following but I'm not sure how much
> was actually needed: [...]

Nice, closing.

FWIW, you can close reports yourself by sending to
NNNNN-done@debbugs.gnu.org instead of NNNNN@debbugs.gnu.org.

Greetings,
Maxime.