Subject: Re: bug#46803: User manual does not explain Profiles (nor GUIX_PROFILE)
From: Ludovic Courtès <[email-masked]>
To: zimoun <[email-masked]>
Cc: Luis Felipe <[email-masked]>, Tobias Geerinckx-Rice <[email-masked]>, [email-masked]
Date: Wed, 17 Mar 2021 14:54:46 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi zimoun,

Pushed something like the initial patch + index entries as
0571aa7abf262f617add727ac03e3bf63d41ae6d.  Thank you!

Ludo’.