Subject: Re: [PATCH 09/10] vm: Allow users to specify a UUID for the root partition.
From: [email-masked] (Ludovic Courtès)
To: Danny Milosavljevic <[email-masked]>
Cc: Tobias Geerinckx-Rice <[email-masked]>, [email-masked]
Date: Mon, 11 Sep 2017 22:53:04 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Danny Milosavljevic <[email-masked]> skribis:

> On Thu,  7 Sep 2017 00:17:55 +0200
> Ludovic Courtès <[email-masked]> wrote:
>
>> +partition; likewise FILE-SYSTEM-UUID, if true, is the UUID of the root
>
>                                             ^^^ ??      ^^^^^^ which is it? 
>
> Probably meant "not #f".

Yes.  In Scheme only #f is false; any other value is true.

I’ve replaced “is the UUID…” by “specifies the UUID…”, which is
hopefully clearer.

I’ve now pushed the whole series.  Thanks for reviewing!

Ludo’.