Processing commands for control@bugs.debian.org: > retitle 156798 O: ipmi-ctl -- IPMI (Intelligent Platform Management Interface) support tools Bug#156798: O: fdflush Changed Bug title. > gracias Unknown command or malformed arguments to command. > -- Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)