Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
authorVladimir Serbinenko <phcoder@gmail.com>
Mon, 23 Dec 2013 17:17:29 +0000 (18:17 +0100)
committerVladimir Serbinenko <phcoder@gmail.com>
Mon, 23 Dec 2013 17:17:29 +0000 (18:17 +0100)
commit72f099578e4da08e1a6845def03f465e65d0729e
treef30919b7da3f9bd2fed9e95617059903895b528f
parent808e97c4e79f7547efa7f653126efda8ff5ff0f6
parent3d369a01ac4b3ef293692a8b399ec339030b821e
Merge branch 'master' of git.sv.gnu.org:/srv/git/grub
ChangeLog
configure.ac