Processed: Only half-fixed

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

Processing commands for control@bugs.debian.org:

> clone 411537 -1
Bug#411537: texlive-extra-utils: Installs /usr/bin/dvidvi, which is also in package dvidvi
Bug 411537 cloned as bug 411969.

> found -1 2005.dfsg.2-12
Bug#411969: texlive-extra-utils: Installs /usr/bin/dvidvi, which is also in package dvidvi
Bug marked as found in version 2005.dfsg.2-12.

> retitle -1 installs /usr/bin/platex, which is also in package ptex-bin
Bug#411969: texlive-extra-utils: Installs /usr/bin/dvidvi, which is also in package dvidvi
Changed Bug title.
(By the way, that Bug is currently marked as done.)

> thanks
Stopping processing here.

Please contact me if you need assistance.

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