Processed: Re: Bug#901721: debian-installer: grub installed on root drive even if it won't boot that way
Processing control commands:
> reopen -1
Bug #901721 {Done: Geert Stappers <stappers@debian.org>} [debian-installer] debian-installer: grub installed on root drive even if it won't boot that way
Bug reopened
Ignoring request to alter fixed versions of bug #901721 to the same values previously set
--
901721: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=901721
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: