Processed: Re: Bug#260132: tetex-bin: what does pdftosrc do?

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

Processing commands for control@bugs.debian.org:

> forwarded 260132 pdftex@tug.org
Bug#260132: tetex-bin: what does pdftosrc do?
Noted your statement that Bug has been forwarded to pdftex@tug.org.

> severity 260132 normal
Bug#260132: tetex-bin: what does pdftosrc do?
Severity set to `normal'.

> merge 260132 215248
Bug#215248: tetex-bin: pdftosrc has no manpage and no doc
Bug#260132: tetex-bin: what does pdftosrc do?
Merged 215248 260132.

> stop
Stopping processing here.

Please contact me if you need assistance.

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