Vladimir 'phcoder' Serbinenko c4edd54832 * grub-core/disk/efi/efidisk.c (grub_efidisk_get_device_name): Fix ... incorrect memory usage.		2011-07-10 15:33:57 +02:00
..
efidisk.c	* grub-core/disk/efi/efidisk.c (grub_efidisk_get_device_name): Fix	2011-07-10 15:33:57 +02:00