Vladimir 'phcoder' Serbinenko e75fdee420 * grub-core/kern/efi/mm.c (grub_efi_finish_boot_services):
Try terminating EFI services several times due to quirks in some
	implementations.
2013-03-26 11:34:56 +01:00
..
2012-02-12 03:52:17 +01:00
2013-03-19 20:25:09 +01:00
2012-02-26 22:49:24 +01:00
2013-03-19 20:25:09 +01:00
2013-03-19 20:25:09 +01:00
2010-05-06 11:34:04 +05:30