Processed: Re: Bug#706112: [PATCH v2] grub-installer: Support menu selection of grub boot disk

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> user release.debian.org@packages.debian.org
Setting user to release.debian.org@packages.debian.org (was adam@adam-barratt.org.uk).
> usertags 706112 + wheezy-can-defer
There were no usertags set.
Usertags are now: wheezy-can-defer.
> tags 706112 + wheezy-ignore
Bug #706112 {Done: Cyril Brulebois <kibi@debian.org>} [grub-installer] debian-installer: Wheezy installer always install bootloader in /dev/sda
Added tag(s) wheezy-ignore.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
706112: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=706112
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems