Re: [PATCH] gnu: Add di.

[John J Foerch]

Leo Famulari <l...@famulari.name> writes:

> On Thu, Jul 07, 2016 at 12:30:11PM -0400, John J Foerch wrote:
>> Any remaining blocking issues on this?
>
> Pushed as 614023981!

Many thanks.

--
John Foerch