Sorry, wrong bug number. Of course, this was fixed for unstable
much earlier.

Cheers,
        Moritz



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

Reply via email to