Subject: [PATCH 1/6] gnu: Add r-spacetime.
From: Ricardo Wurmus <[email-masked]>
To: [email-masked]
Date: Fri, 01 Jul 2022 10:38:55 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Wiktor,

thank you for your patches!  I did not notice them on
issues.guix.gnu.org, hence the late response.

You’re very welcome to add the “X-Debbugs-Cc: [email-masked]” header
to Cc me on future submissions.  I’ll make reviewing your patches a
priority.

I’ve applied the patch set and pushed it to the master branch.

Thanks again!

-- 
Ricardo