Subject: Re: bug#45919: [PATCH 0/8] Exporting a manifest and channels from a profile
From: Ludovic Courtès <[email-masked]>
To: Pierre Neidhardt <[email-masked]>, zimoun <[email-masked]>
Cc: guix-devel <[email-masked]>, [email-masked]
Date: Mon, 01 Feb 2021 18:04:05 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi!

So I went ahead and pushed this patch series as
15078567c17851ef0f2b017119f305e0d5e8a140.

We can always improve from here, and hopefully getting actual user
feedback will help us see the pros and cons of this option.

Thanks!

Ludo’.