Stefano Zacchiroli <zack@debian.org> writes: > On Mon, Dec 16, 2002 at 10:46:40PM +0100, Sven Luther wrote: >> Jerome, did you do a dist-upgrade also ? > > It seems to be a dist-upgrade issue indeed, I used 'dselect-upgrade' and > all worked well, Sven used 'upgrade' and all worked well. > > BTW, why you used dist-upgrade, Jerome and Remi? Yes I did. Cheers, -- Jérôme Marant http://marant.org