Processed: Re: Bug#185420: marked as done (boot-floppies - bad kernel choice)
Processing commands for control@bugs.debian.org:
> reopen 185420
Bug#185420: boot-floppies - bad kernel choice
Bug reopened, originator not changed.
> severity 185420 normal
Bug#185420: boot-floppies - bad kernel choice
Severity set to `normal'.
> tags 185420 + help
Bug#185420: boot-floppies - bad kernel choice
There were no tags set.
Tags added: help
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: