Bug doesn't occur with new version in the repo, so I suppose you can
close it. Thanks.



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

Reply via email to