Processed: Re: tetex-bin: /usr/info/dvips.info.gz out of date to /usr/lib/texmf/tex/plain/dvips/dvips.tex

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

Processing commands for control@bugs.debian.org:

> forwarded 53927 tex-k@mail.tug.org
Bug#53927: tetex-bin: /usr/info/dvips.info.gz out of date to /usr/lib/texmf/tex/plain/dvips/dvips.tex
Forwarded-to-address changed from tetex-pretest@informatik.uni-hannover.de to tex-k@mail.tug.org.

> tags 53927 + fixed-upstream
Bug#53927: tetex-bin: /usr/info/dvips.info.gz out of date to /usr/lib/texmf/tex/plain/dvips/dvips.tex
There were no tags set.
Tags added: fixed-upstream

> stop
Stopping processing here.

Please contact me if you need assistance.

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