Subject: [bug#28377] [PATCH 09/10] vm: Allow users to specify a UUID for the root partition.

From: Danny Milosavljevic <[email-masked]>
Date: Mon, 11 Sep 2017 18:10:45 +0200

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".

Otherwise LGTM!