Processed: Re: Bug#746654: texinfo: Garbled texi2* manpages

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> severity 746654 normal
Bug #746654 [texinfo] texinfo: Garbled texi2* manpages
Severity set to 'normal' from 'minor'
> merge 746654 740343
Bug #746654 [texinfo] texinfo: Garbled texi2* manpages
Bug #746654 [texinfo] texinfo: Garbled texi2* manpages
Added tag(s) pending.
Bug #740343 [texinfo] texinfo: texi2pdf.1 is garbled and wrong
Merged 740343 746654
> stop
Stopping processing here.

Please contact me if you need assistance.
-- 
740343: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=740343
746654: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=746654
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems