Hi Salvatore,

This was already fixed before you submitted the bug. See #699835.

Next time, please check the bug history, because this made me loose
quite some time, thinking that this was a new issue.

Thomas


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

Reply via email to