Enrico Zini wrote: > James Vega let me know of http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=641661 > of which this 642140 looks like a duplicate. Thanks, merged (you can do the same, you know :)).