(No subject)

Shan Hai
2014-07-16T03:26:52Z

Fix grub bug #36755 by cherry picking a patch from grub upstream.
The bug is reported at "http://savannah.gnu.org/bugs/?36755"

Thanks
Shan Hai