Agreed, this is a corner case. As long as it's fixed in the current version, things are fine afaiac.
Thanks for the info, Richard -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/cad77+gqu5pd19jh54ubonoto7+heppwh0os8ux6sicdncvv...@mail.gmail.com

