Subject: Re: [bug#28696] [PATCH 0/5] Support UUIDs for the EFI System Partition (FAT)
From: [email-masked] (Ludovic Courtès)
To: [email-masked]
Cc: [email-masked], [email-masked]
Date: Wed, 11 Oct 2017 11:13:37 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

Ludovic Courtès <[email-masked]> skribis:

> This patch series fixes what Roel reported at
> <https://lists.gnu.org/archive/html/help-guix/2017-09/msg00094.html>: it
> allows users to refer to their EFI System Partition and to FAT file
> systems in general by UUID.

I went ahead and pushed this series.  Let me know if anything’s wrong!

Ludo’.