reassign 487974 texinfo merge 487974 495577 stop On 18.03.09 Debian Bug Tracking System (owner@bugs.debian.org) wrote: > Processing commands for control@bugs.debian.org: > > > reopen 495577 > As we're going to fix this in texinfo I'm merging the other two bugs with this one. H. -- If you live long enough, you'll see that every victory turns into a defeat. -- Simone de Beauvoir http://www.hilmar-preusse.de.vu/