Closed fredrikekre closed 6 years ago
Oh, I guess the docker image is Julia v1.0.0? Would it be possible to update that to v1.0.1 which includes https://github.com/JuliaLang/julia/pull/28625? It is a trivial workaround that I will include for now.
Will update the docker image.
@frekrikekre: update the Docker image, and restarted the build. Perhaps the workaround can be removed now? Otherwise, LGTM, thanks for doing this.
Oh, I guess the docker image is Julia v1.0.0? Would it be possible to update that to v1.0.1 which includes https://github.com/JuliaLang/julia/pull/28625? It is a trivial workaround that I will include for now.