Processed: Re: Bug#475177: [grub-pc] Installing or upgrading grub-pc lasts over 20 minutes

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 475177 grub-probe should skip floppies
Bug#475177: [grub-pc] Installing or upgrading grub-pc lasts over 20 minutes
Changed Bug title to `grub-probe should skip floppies' from `[grub-pc] Installing or upgrading grub-pc lasts over 20 minutes'.

> severity 475177 important
Bug#475177: grub-probe should skip floppies
Severity set to `important' from `normal'

> reassign 475177 grub-common
Bug#475177: grub-probe should skip floppies
Bug reassigned from package `grub-pc' to `grub-common'.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)