Processed: your mail
Processing commands for control@bugs.debian.org:
> severity 286885 minor
Bug#286885: FTBS at irqtune, at least no kernel-headers installed
Severity set to `minor'.
> retitle 286885 irqtune fails if /usr/src/linux is installed
Bug#286885: FTBS at irqtune, at least no kernel-headers installed
Changed Bug title.
> tags 286885 + patch
Bug#286885: irqtune fails if /usr/src/linux is installed
There were no tags set.
Tags added: patch
> --
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: