Processed: Merging ipmi-ctl reports
Processing commands for control@bugs.debian.org:
> merge 156798 156801
Bug#156798: O: ipmi-ctl -- IPMI (Intelligent Platform Management Interface) support tools
Bug#156801: O: ipmi-ctl
Merged 156798 156801.
> retitle 156801 O: ipmi-ctl -- IPMI (Intelligent Platform Management Interface) support tools
Bug#156801: O: ipmi-ctl
Changed Bug title.
>
End of message, stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: