GNU bug report logs - #40557
[PATCH] Add dhall.

Previous Next

Package: guix-patches;

Reported by: John Soo <jsoo1 <at> asu.edu>

Date: Sat, 11 Apr 2020 16:06:02 UTC

Severity: normal

Tags: patch

Done: Leo Famulari <leo <at> famulari.name>

Bug is archived. No further changes may be made.

Full log

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

From: Leo Famulari <leo <at> famulari.name>
To: John Soo <jsoo1 <at> asu.edu>
Cc: 40557-done <at> debbugs.gnu.org
Subject: Re: [bug#40557] [PATCH] Add dhall.
Date: Fri, 29 May 2020 11:01:31 -0400

On Fri, May 29, 2020 at 06:40:11AM -0700, John Soo wrote:
> Alright, done.  Let me know what else I can do.

Thanks! I pushed as 9ff667ea05d0807b4e6512c92914ae517b9ec755 after also
registering the patch in 'gnu/local.mk' (I had overlooked this
previously).
This bug report was last modified 4 years and 359 days ago.

Previous Next

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