[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] system: grub: Change the default default-entry to 0
|
From: |
Ludovic Courtès |
|
Subject: |
Re: [PATCH] system: grub: Change the default default-entry to 0 |
|
Date: |
Wed, 13 Aug 2014 17:41:36 +0200 |
|
User-agent: |
Gnus/5.130011 (Ma Gnus v0.11) Emacs/24.3 (gnu/linux) |
address@hidden skribis:
> From dde9969dcca4d33a2094af3c8909d017378b3e8e Mon Sep 17 00:00:00 2001
> From: Mark H Weaver <address@hidden>
> 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’.