Hello Marc, Marc Haber wrote: > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=121717 [snip] > May I ask for these to be fixed in CVS? Thanks for letting me know. The fixes are now in CVS. Sincerely, Richard van den Berg