Subject: [bug#77242] Close

From: Andreas Enge <[email-masked]>
Date: Sat, 29 Mar 2025 10:45:52 +0100

This is marked as open on issues, but should have been closed as a
merged bug. New try.

Andreas