]> git.ipfire.org Git - thirdparty/grub.git/commitdiff
projects / thirdparty / grub.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 84a0e96 06a8358)
Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
authorPaulo Flabiano Smorigo <pfsmorigo@gmail.com>
Tue, 22 Oct 2013 18:45:16 +0000 (16:45 -0200)
committerPaulo Flabiano Smorigo <pfsmorigo@gmail.com>
Tue, 22 Oct 2013 18:45:16 +0000 (16:45 -0200)

Trivial merge
Mirror of https://git.savannah.gnu.org/git/grub.git