Can see now that this situation is covered by:

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=666889

cheers,
Heikki

Reply via email to