Thanks, that does indeed match the behaviour I experienced, I'll follow that bug.

This bug can be closed.


--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: 
https://lists.debian.org/[email protected]

Reply via email to