guix-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 2/5] system: Rename previous-grub-entries to profile-grub-ent


From: Ludovic Courtès
Subject: Re: [PATCH 2/5] system: Rename previous-grub-entries to profile-grub-entries.
Date: Sun, 06 Nov 2016 17:56:41 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)

address@hidden skribis:

> From: Chris Marusich <address@hidden>
>
> * guix/scripts/system.scm (previous-grub-entries, profile-grub-entries):
> Rename previous-grub-entries to profile-grub-entries to indicate that it is
> stateful and returns the entries for all profile generations, not just the
> previous ones.  Update all callers.

Applied!



reply via email to

[Prev in Thread] Current Thread [Next in Thread]