Subject: Close

From: Andreas Enge <[email-masked]>
Date: Wed, 9 Apr 2025 11:45:08 +0200

This has been fixed by commit 5078e98cf3d09e761d60e51eb3fbae88ea3d12f3
in 2023. Closing.

Andreas