Actually, this bug is now a duplicate of #649459 , and has just been
fixed - thanks a lot!

-- 
Jindrich Makovicka



-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to