Processed: Re: 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?pr=latex/4019
Bug#477152: please fix docstrip that it does not write mildly misleading comments into the generated files
Forwarded-to-address changed from http://www.latex-project.org/cgi-bin/ltxbugs2html?category=LaTeX&pr=latex%2F4019 to http://www.latex-project.org/cgi-bin/ltxbugs2html?pr=latex/4019.

> # simplifying URL
> stop
Stopping processing here.

Please contact me if you need assistance.

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