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?

Not really... I've been struggling to write the comment that justifies
skipping the tests :)

Any suggestions?