Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
authorVladimir Serbinenko <phcoder@gmail.com>
Fri, 25 Oct 2013 17:48:24 +0000 (19:48 +0200)
committerVladimir Serbinenko <phcoder@gmail.com>
Fri, 25 Oct 2013 17:48:24 +0000 (19:48 +0200)
commitedd0179abbfcddbda966c2ede0f36401f43b6e48
treed751dc0eace13aca22ee8be78b1b066dd9ce97a0
parent6673d8e7b68e7b332289571094f1c8166737ea45
parentc16535a845dcbb2b1d3b42994d3b72b8dc088a38
Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
ChangeLog