Difference between @time in Julia 1.3.1 and Julia 1.4.0-rc2

General Usage
11

Using the “blame” feature of Github, you can find the relevant PR. This is a welcome side-effect, but I thin the target was something else.

https://github.com/JuliaLang/julia/pull/33717

1 Like