#7 latest version of grubinstall

[Lode Leroy]

Please find the latest version of grubinstall at
http://www.geocities.com/lode_leroy/grubinstall/

it contains important bugfixes for partition names...