Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
authorVladimir Serbinenko <phcoder@gmail.com>
Mon, 18 Nov 2013 15:12:50 +0000 (16:12 +0100)
committerVladimir Serbinenko <phcoder@gmail.com>
Mon, 18 Nov 2013 15:12:50 +0000 (16:12 +0100)
commit421db3da060fccef6d77ba150b49fe624719b51b
treef0e72b78e8dc9ef1d030a27b408a03b23ee9356e
parentb7526e7806dc7d81b809ec093f9256024231e8b0
parent1e8e2e78a599af9504847aa86ed37bb06be1ee9d
Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
ChangeLog