Processed: Re: Bug#901721: debian-installer: grub installed on root drive even if it won't boot that way
Processing control commands:
> severity -1 important
Bug #901721 [debian-installer] debian-installer: grub installed on root drive even if it won't boot that way
Severity set to 'important' from 'critical'
> tag -1 - d-i
Bug #901721 [debian-installer] debian-installer: grub installed on root drive even if it won't boot that way
Removed tag(s) d-i.
> tag -1 + moreinfo
Bug #901721 [debian-installer] debian-installer: grub installed on root drive even if it won't boot that way
Added tag(s) moreinfo.
--
901721: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=901721
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: