Re: [PATCH] gnu: Add di.

[Leo Famulari]

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

Pushed as 614023981!