Hey Uwe,
is there any update to this bug? While the issue itself is fairly minor, this 
is a bit annoying in practice.

Thanks
Nico


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

Reply via email to