Processing commands for cont...@bugs.debian.org: > reassign 941557 src:gri Bug #941557 [src:texinfo] texinfo: Malformed UTF-8 character in ParserNonXS.pm Bug reassigned from package 'src:texinfo' to 'src:gri'. No longer marked as found in versions texinfo/6.7.0.dfsg.2-5. Ignoring request to alter fixed versions of bug #941557 to the same values previously set > tags 941557 + patch Bug #941557 [src:gri] texinfo: Malformed UTF-8 character in ParserNonXS.pm Added tag(s) patch. > retitle 941557 texi file need @documentencoding Bug #941557 [src:gri] texinfo: Malformed UTF-8 character in ParserNonXS.pm Changed Bug title to 'texi file need @documentencoding' from 'texinfo: Malformed UTF-8 character in ParserNonXS.pm'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 941557: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=941557 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
