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.
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.