Subject: Re: [bug#49868] [PATCH 0/2] guix: dune-build-system: Add a profile parameter.
From: Julien Lepiller <[email-masked]>
To: pukkamustard <[email-masked]>
Cc: [email-masked]
Date: Sat, 21 Aug 2021 00:09:26 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed to master as 777ce1485749cc3dbe178fcc1e0654a7e74900c5 and
33a1ec29fa0ad72c61cef13c8af08c847eb399c1, thanks!