Subject: Re: [bug#40557] [PATCH] Add dhall.
From: Leo Famulari <[email-masked]>
To: John Soo <[email-masked]>
Cc: [email-masked]
Date: Fri, 29 May 2020 11:01:31 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

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).