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
..
2011-04-21 11:17:01 +02:00
2012-04-18 23:11:33 +02:00
2012-04-18 23:11:33 +02:00
2012-03-26 16:10:40 +02:00
2012-04-18 23:11:33 +02:00