2 Mar
2011
2 Mar
'11
1:35 p.m.
On Mon, 28 Feb 2011 16:50:11 -0500 Matthew Gyurgyik <pyther@pyther.net> 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