Subject: closing 42338

From: Steve George <[email-masked]>
Date: Sun, 17 Nov 2024 09:44:26 +0000

close 42338 
# pushed at the time so closing. Nicolas there may be missing bits here, but 
# it's hard to understand amongst the old bug numbers. Might be worth checking.
thanks