Bug#500336: patch for grub detection

Bastian Blank waldi at debian.org
Sat Oct 18 13:08:57 UTC 2008


On Fri, Oct 17, 2008 at 11:40:07PM +0200, Thomas Viehmann wrote:
> based on Bastian's comments here and a clarification on IRC (thanks!), I
> would like to propose the attached patch.

Looks okay.

Bastian





More information about the Pkg-grub-devel mailing list