Hello ! I think, I fixed this in 1.01a-3, but could you please check it out. Helmut ------------------------------------------------------------------------------ Helmut Geyer Helmut.Geyer@iwr.uni-heidelberg.de public PGP key available : finger geyer@kalliope.iwr.uni-heidelberg.de -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to debian-devel-REQUEST@lists.debian.org . Trouble? e-mail to Bruce@Pixar.com