Ah. Yes, that is a valid fix. I should have found 734723 before reporting. ☹
Thanks, -JimC -- James Cloos <[email protected]> OpenPGP: 1024D/ED7DAEA6 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
