Allow use with grub-efi-amd64 (Closes: #680717)
authorChristian Hofstaedtler <christian@hofstaedtler.name>
Thu, 9 May 2013 13:29:20 +0000 (15:29 +0200)
committerChristian Hofstaedtler <christian@hofstaedtler.name>
Thu, 9 May 2013 13:29:20 +0000 (15:29 +0200)
I didn't consider grub-efi-ia32 because I can't actually test it, and
likely there is almost no hardware that would benefit from this.


No differences found