Subject: close duped bugs

From: Chris Hofstaedtler <[email-masked]>
Date: Mon, 17 Feb 2025 00:02:25 +0100

close 76346
close 76347
thanks

sorry for the noise, but i thought the first email got lost, and
only afterwards i discovered 73928 already exists.

Chris