Subject: Close
From: Andreas Enge <[email-masked]>
To: [email-masked]
Date: Fri, 9 Feb 2024 14:34:43 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch applied in commit 179bb57d2532ee6b81791e078b0f782cbf88cb84,
closing the bug.

Thanks, Juliana!

Andreas