GNU bug report logs - #55852
[PATCH 1/6] gnu: Add r-spacetime.

Previous Next

Package: guix-patches;

Reported by: Wiktor Żelazny <wz <at> freeshell.de>

Date: Wed, 8 Jun 2022 16:55:01 UTC

Severity: normal

Tags: patch

Done: Ricardo Wurmus <rekado <at> elephly.net>

Bug is archived. No further changes may be made.

Full log

Message #25 received at 55852-done <at> debbugs.gnu.org (full text, mbox):

From: Ricardo Wurmus <rekado <at> elephly.net>
To: 55852-done <at> debbugs.gnu.org
Subject: [PATCH 1/6] gnu: Add r-spacetime.
Date: Fri, 01 Jul 2022 10:38:55 +0200

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: rekado <at> elephly.net” 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
This bug report was last modified 2 years and 327 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.