Subject: merge #76233 with #76231

From: Giovanni Biscuolo <[email-masked]>
Date: Wed, 12 Feb 2025 18:33:58 +0100

merge 76233 76231
stop

Sorry, I was not receiving the usual Acknowledgement so I sent my bug
report from another email address.

Happy hacking!

-- 
Giovanni Biscuolo

«Si può sperare
 Che il mondo torni a quote più normali».