Subject: Re: [bug#30411] [PATCH] gnu: ldc: Update to 1.7.0.
From: Danny Milosavljevic <[email-masked]>
To: Pjotr Prins <[email-masked]>
Cc: [email-masked]
Date: Fri, 23 Feb 2018 12:59:32 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Pjotr,

On Thu, 22 Feb 2018 02:42:30 +0100
Pjotr Prins <[email-masked]> wrote:

> If you think this patch looks OK, I can resubmit it.
> 
> Again, I'll start chasing fixes with upstream. They are pretty
> receptive.

Yeah, I've applied it to master with some small changes a few days
ago.  It builds and tests fine now.