Processed: Re: Bug#726252: makeinfo fail to process vera

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> reassign 726252 src:vera
Bug #726252 [texinfo] makeinfo fail to process vera
Bug reassigned from package 'texinfo' to 'src:vera'.
No longer marked as found in versions texinfo/5.2.0.dfsg.1-1 and texinfo/6.5.0.dfsg.1-5.
Ignoring request to alter fixed versions of bug #726252 to the same values previously set
> notforwarded 726252
Bug #726252 [src:vera] makeinfo fail to process vera
Unset Bug forwarded-to-address
> stop
Stopping processing here.

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