Quoting James Jarvis <james.jar...@ed.ac.uk>:
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 Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
