Re: [ECL 16.1.3]

[Andrey G. Grozin]

On Mon, 19 Dec 2016, Daniel Kochmański wrote:

Here is a necessary patch to make it build as expected:

Thanks, now it works. I've just committed 16.1.3 to Gentoo.

Andrey