Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
authorVladimir Serbinenko <phcoder@gmail.com>
Fri, 20 Dec 2013 16:13:24 +0000 (17:13 +0100)
committerVladimir Serbinenko <phcoder@gmail.com>
Fri, 20 Dec 2013 16:13:24 +0000 (17:13 +0100)
commitc00c34efe1779fc8c0b9dbfb37b7168b58d2df96
tree06fa72eaa4ef3545c7e023b99087df4115be2351
parent871aa709afcb125c96457a640283c8e42745490b
parentd642d7619719af3e7185b5f88a821d8abb1e55a0
Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
ChangeLog