Processing commands for control@bugs.debian.org: > reopen 258974 Bug#258974: xmltex: broken man page Bug reopened, originator not changed. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)