Processed: Re: Bug#272107: /usr/bin/pdftosrc: pdftosrc doesn't have a man page

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

Processing commands for control@bugs.debian.org:

> forwarded 272107 pdftex@tug.org
Bug#272107: /usr/bin/pdftosrc: pdftosrc doesn't have a man page
Noted your statement that Bug has been forwarded to pdftex@tug.org.

> merge 260132 272107
Bug#260132: tetex-bin: what does pdftosrc do?
Bug#272107: /usr/bin/pdftosrc: pdftosrc doesn't have a man page
Bug#215248: tetex-bin: pdftosrc has no manpage and no doc
Merged 215248 260132 272107.

> stop
Stopping processing here.

Please contact me if you need assistance.

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