|
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).
[Prev in Thread] | Current Thread | [Next in Thread] |