From: Wilko Meyer <[email-masked]>
To: [email-masked]
Date: Tue, 18 Jun 2024 00:32:35 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Closed as cdd265b7bf1f72ea679fd9a020c9401a3c269fd8 already fixes this.