Bug#666750: Solved

[Ivo De Decker <ivo.dedecker@ugent.be>]

retitle 666750 Please avoid differences between OS-en detected in the installer and those offered in GRUB
severity 666750 wishlist
tags 666750 - wheezy sid
thanks

Hi,

On Tue, Jun 19, 2012 at 06:37:57PM -0400, Filipus Klutiero wrote:
> retitle 666750 Please avoid differences between OS-en detected in
> the installer and those offered in GRUB
> severity 666750 wishlist
> tags 666750 - wheezy sid
> thanks
> 
> This no longer happens with grub2 1.99-19 ("Add grub-probe to
> grub-mount-udeb").
> I'm keeping this report as a wish to prevent new occurences of the
> same symptom from new causes. Feel free to treat as you think is
> best.

It seems this message was never processed by control@, so trying again.

Cheers,

Ivo