guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#40557: [PATCH] Add dhall.


From: Leo Famulari
Subject: 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).





reply via email to

[Prev in Thread] Current Thread [Next in Thread]