Subject: Close

From: Andreas Enge <[email-masked]>
Date: Sat, 6 Jul 2024 12:59:14 +0200

This has been applied to master as commit ad7505d16f882e69926008a22f9c12c37b32f4ee .
Closing the bug.

Thanks,

Andreas