421db3d Merge branch 'master' of git.sv.gnu.org:/srv/git/grub

Merged and Committed by Vladimir Serbinenko 10 years ago
    Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
    
        
file modified
+5 -0
file modified
+5 -1