Andrey Borzenkov 21aecde5f6 * grub-core/disk/efi/efidisk.c(grub_efidisk_get_device_name): Fix ... memory leak if device name is not found.		2013-02-26 22:45:00 +01:00
..
efidisk.c	* grub-core/disk/efi/efidisk.c(grub_efidisk_get_device_name): Fix	2013-02-26 22:45:00 +01:00