Subject: Close #74532

From: "Timo Wilken" <[email-masked]>
Date: Tue, 08 Apr 2025 22:59:19 +0200

Somehow, this issue was magically reopened.

See the stanza beginning with "Did not alter fixed versions and reopened" at
<https://debbugs.gnu.org/cgi/bugreport.cgi?bug=74532>.