Your message dated Wed, 25 May 2022 09:31:07 +0200
with message-id <877d6axe4k.fsf@gnu.org>
and subject line Re: bug#55602: [PATCH 0/2] Move (gnu platform) and friends to guix, and fix linux module build system.
has caused the debbugs.gnu.org bug report #55602,
regarding [PATCH 0/2] Move (gnu platform) and friends to guix, and fix linux module build system.
to be marked as done.

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


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