On Mon, 2008-01-28 at 17:29 +0100, Robert Millan wrote: > On Mon, Jan 28, 2008 at 08:44:51AM -0500, Pavel Roskin wrote: > > > What do you suggest? > > > > I would prefer to have GRUB_MOD_GAP is all headers. Once it's not > > needed, it could be removed across the board. > > Ok, does this seem fine?
Looks good to me. Thanks! -- Regards, Pavel Roskin _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
