Processing commands for cont...@bugs.debian.org: > retitle 941557 gri: texi file need @documentencoding Bug #941557 [src:gri] texi file need @documentencoding Bug #949150 [src:gri] gri: FTBFS (Malformed UTF-8 character) Changed Bug title to 'gri: texi file need @documentencoding' from 'texi file need @documentencoding'. Changed Bug title to 'gri: texi file need @documentencoding' from 'gri: FTBFS (Malformed UTF-8 character)'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 941557: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=941557 949150: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=949150 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
