(slow) operations tracker#3970

joaquimg wants to merge 2 commits intomasterjump-dev/JuMP.jl:masterfrom

jg/stackjump-dev/JuMP.jl:jg/stackCopy head branch name to clipboard