Subject: [bug#57909] Sorry - accidentally opened duplicate issues

From: Maxime Devos <[email-masked]>
Date: Mon, 19 Sep 2022 15:01:16 +0200

reopen 57909
thanks

Looks like the closing was accidental, reopening.

See <https://debbugs.gnu.org/server-control.html> if you're interested 
in how to use these debbugs commands (anyone can send those, somehow the 
wide permissions don't cause problems).

Greetings,
Maxime.