Processing commands for control@bugs.debian.org: > retitle 72478 Red Hat bugs are Red Hat's problem Bug#72478: Changed Bug title. (By the way, that Bug is currently marked as done.) > close 72478 Bug#72478: Red Hat bugs are Red Hat's problem Bug is already closed, cannot re-close. > thanks Stopping processing here. Please contact me if you need assistance. Darren Benham (administrator, Debian Bugs database)