Re: [PATCH] system: grub: Change the default default-entry to 0

[Ludovic Courtès]

m...@netris.org skribis:

> From dde9969dcca4d33a2094af3c8909d017378b3e8e Mon Sep 17 00:00:00 2001
> From: Mark H Weaver <m...@netris.org>
> Date: Fri, 8 Aug 2014 00:50:53 -0400
> Subject: [PATCH] system: grub: Change the default default-entry to 0.
>
> * gnu/system/grub.scm (<grub-configuration>)[default-entry]: Change the
>   default to 0.

Indeed, OK to push!

Thanks,
Ludo’.