Subject: bug#42106: closing 42106

From: Steve George <[email-masked]>
Date: Mon, 7 Oct 2024 19:20:34 +0100

close 42106
Looks like we're done on this one, so closing.
thanks