Merge pull request #3892 from robberer/bugfix/grub
grub: fix grub merge error
Michael Raskin 11 years ago 6e2b8973 ea891065