Processing commands for control@bugs.debian.org: > reopen 258812 Bug#258812: krec man-page Bug reopened, originator not changed. > retitle krec.1 is in included debian/man but does not get installed Unknown command or malformed arguments to command. > stop Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)