On Fri, 2009-04-03 at 16:48 +0200, phcoder wrote: > rgrep revealed no use for the second kernel_elf_HEADERS, so I propose to > remove it altogether > Is everybody comfortable with this patch? If I hear no oppositions in > couple of days I'll commit it.
No objections. By the way, the same problems exists in sparc64-ieee1275.rmk Please change "suplicate" to "extraneous" in ChangeLog. -- Regards, Pavel Roskin _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
