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]

Reply via email to