Your message dated Fri, 8 Nov 2019 22:03:04 +0100
with message-id <20191108220304.7dd04d45@sybil.lepiller.eu>
and subject line Re: bug#36375: [PATCH] Re: ‘guix package’ should lock the profile
has caused the debbugs.gnu.org bug report #36375,
regarding ‘guix package’ should lock the profile
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
36375: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=36375
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems