Let's use the right upstream commit (at http://git.savannah.gnu.org/cgit/grub.git/commit/?id=fa33530870839e303354ff2660baeff5356ea736), but the change is the same; I'll push the patch to Debian so we can sync it to Ubuntu.
Let's use the right upstream commit (at http:// git.savannah. gnu.org/ cgit/grub. git/commit/ ?id=fa335308708 39e303354ff2660 baeff5356ea736), but the change is the same; I'll push the patch to Debian so we can sync it to Ubuntu.