Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
authorVladimir Serbinenko <phcoder@gmail.com>
Thu, 14 Nov 2013 21:28:03 +0000 (22:28 +0100)
committerVladimir Serbinenko <phcoder@gmail.com>
Thu, 14 Nov 2013 21:28:03 +0000 (22:28 +0100)
commitdeca601915ec51145f3ac75fe38b4e9ff14bceb1
tree1c1c6a485fe8653a02635b4553f3a118fadf89b1
parentda45f43ce3fe140cd404ec01977484eca7896db0
parenta5986276ece5e090a64eb222f883bcc2819bf30b
Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
ChangeLog