Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
authorVladimir Serbinenko <phcoder@gmail.com>
Thu, 14 Nov 2013 07:33:14 +0000 (08:33 +0100)
committerVladimir Serbinenko <phcoder@gmail.com>
Thu, 14 Nov 2013 07:33:14 +0000 (08:33 +0100)
commite6050a683c478a4a8537680b570ae9cdd3621db7
tree06151f7d81d0cf195c95ad54775b06dfcf538834
parent035a26c16a45e9b6f5690c48b9ecd783d76d095b
parentda7703286a3a4fdfcca5d315a5580f6e6ea36660
Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
ChangeLog