I've filed an issue.
https://github.com/JuliaLang/julia/issues/6036
Should be an easy bug to fix.
- [julia-users] ERROR: scalarmin not defined Aditya Mahajan
- [julia-users] Re: ERROR: scalarmin not defined Steven G. Johnson
I've filed an issue.
https://github.com/JuliaLang/julia/issues/6036
Should be an easy bug to fix.