Is there any progress on this bug? Is has been almost a month and, at least to me as an outsider, the fix in the form of the patch from July 18th seems to be doing the trick and to be rather trivial to implement.
Richard -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]