On Sat, Apr 22, 2017 at 11:16:04AM +0200, Marius Bakke wrote:
> Leo Famulari <leo@famulari.name> writes:
> 
> > This patch updates GRUB to the latest upstream release, 2.02~rc2.
> >
> > https://lists.gnu.org/archive/html/grub-devel/2017-03/msg00052.html
> >
> > According to that release announcement, the GRUB maintainers plan to
> > release 2.02 any day now!
> >
> > I'm using it on my x86_64 GuixSD machine without any problems.
> 
> I can confirm it works on a grub-efi system as well. LGTM!

They committed the 2.02 version, but haven't tagged the release or
issued new tarballs. Let's wait for the new tarballs, test, and then,
assuming everything works, push the update!