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».