Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
authorVladimir Serbinenko <phcoder@gmail.com>
Tue, 10 Dec 2013 08:24:37 +0000 (09:24 +0100)
committerVladimir Serbinenko <phcoder@gmail.com>
Tue, 10 Dec 2013 08:24:37 +0000 (09:24 +0100)
commit0341da6019c752b42529a56763389fd46184e095
treebccc95e343ebdb04ad22e9bd976141179acb1240
parenteaf01c25fe0bde72d85f2913a14c04fe4d9192b8
parent9f2f979bcf7bfd6cef08c17b5a432444ac8603dc
Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
ChangeLog