Subject: Close
From: Andreas Enge <[email-masked]>
To: [email-masked]
Date: Wed, 27 Nov 2024 13:10:46 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Closing this bug, since 71748 contains the v2.

Thanks, Noé, for the review!

Andreas