]> git.ipfire.org Git - thirdparty/grub.git/commitdiff
Merge branch 'phcoder/ports/alpha' of git.sv.gnu.org:/srv/git/grub into phcoder/ports...
authorVladimir Serbinenko <phcoder@gmail.com>
Sat, 26 Oct 2013 00:59:51 +0000 (02:59 +0200)
committerVladimir Serbinenko <phcoder@gmail.com>
Sat, 26 Oct 2013 00:59:51 +0000 (02:59 +0200)

Trivial merge