On Tue, May 28, 2002 at 09:32:50PM +0200, Wichert Akkerman wrote: > Previously Martin Quinson wrote: > > so, I digged around, and the patch to solve it is quite simple: > > Looks like you discovered bug#148221 Err, exactly. I should check for existing bugs before loosing my time and yours. Sorry, Mt. -- To UNSUBSCRIBE, email to debian-dpkg-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org