Processed: Re: latex/4019: docstrip inserts wrong comment into generated file

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

Processing commands for control@bugs.debian.org:

> forwarded 477152 http://www.latex-project.org/cgi-bin/ltxbugs2html?category=LaTeX&pr=latex%2F4019
Bug#477152: please fix docstrip that it does not write mildly misleading comments into the generated files
Noted your statement that Bug has been forwarded to http://www.latex-project.org/cgi-bin/ltxbugs2html?category=LaTeX&pr=latex%2F4019.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)