Subject: bug#60013: closing 60013

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

close 60013 
Hi all - this is done, so closing. You can re-open it if that's a mistake.
thanks