Processed: retitle 6345 to dome: no man pages for dome(1) and dxftopov(1)

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

Processing commands for control@bugs.debian.org:

> retitle 6345 dome: no man pages for dome(1) and dxftopov(1)
Bug#6345: deb-check 0.2 report on /var/pub/debian/bo/binary-i386/math/dome_4.60-1.deb
Changed Bug title.

>
End of message, stopping processing here.

Please contact me if you need assistance.

Darren Benham
(administrator, Debian Bugs database)