Subject: closing 94

From: Juri Grabowski <[email-masked]>
Date: Wed, 20 Dec 2023 00:36:47 +0100

close 94 
Hello Mike,

thank you for reporting it here. I cannot reproduce it right now. It looks like it was fixed since long time, but this bug report ist just opened. I would close it with this message.

Best Regards,
Juri Grabowski