On Mon, Mar 06, 2017 at 10:19:34AM +0100, Ludovic Courtès wrote: > Hello Guix! > > Looks like there’s been a disk space issue a few days ago that’s now > solved, so I’ve restarted an evaluation of the “core” subset. > > Is there any blocker left or should we move forward after that?
Let's also decide what to do about GRUB. I updated it originally because something (I forgot what) failed to build without a newer GRUB.