Hi, Nick Zalutskiy schreef op zo 26-12-2021 om 17:25 [-0500]: > [...] > I was trying to figure out how to close this... no luck.
https://debbugs.gnu.org/Developer.html has instructions on how to close, reopen and tag bugs. Greetings (and closing), Maxime.
