On Mon, 28 Feb 2011 16:50:11 -0500 Matthew Gyurgyik <[email protected]> wrote:
> On 02/28/2011 03:52 PM, Dieter Plaetinck wrote: > > - We can probably remove GRUB_OK (I can look after that myself also) > I agree, although that should be a separate patch, right? yep. > A diff of the changes: please, just send a new patch when you have the time. Dieter
