Is there somewhere where I can track when the next release of JuMP is planned for?
In this case, I’d like to know when https://github.com/jump-dev/JuMP.jl/pull/2275 will make it into a release (I’ve been holding off of migrating a package of mine to v0.19+ because I needed this functionality.)