Subject: Re: [bug#30411] [PATCH] gnu: ldc: Update to 1.7.0.

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

If you think this patch looks OK, I can resubmit it.

Again, I'll start chasing fixes with upstream. They are pretty
receptive.

Pj.