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