On Mon, Feb 8, 2016 at 7:23 PM, Lutfullah Tomak <tomaklu...@gmail.com> wrote:
> I think there is a pull request now for this at
>
> https://github.com/JuliaLang/julia/pull/14996

Yep, this is the failure that PR fixes.

>
> Sorry for the noise.

Reply via email to