Subject: Close

From: Andreas Enge <[email-masked]>
Date: Wed, 9 Aug 2023 10:04:52 +0200

Closing an old bug report, as it is unlikely we will receive more info.

Andreas