Quoting James Jarvis <[email protected]>:
Hi Pavel,If needed (unlikely) I have a checkout of Rev 2238 (2009-05-27).
The git repository ends at the revision 2240, which is newer. -- Regards, Pavel Roskin _______________________________________________ Grub-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/grub-devel
