Closed odow closed 2 years ago
do we want to add a release with MOI 0.10 already?
@odow what do you think? Should we release now with MOI 0.10?
Ideally, I'd like to have https://github.com/jump-dev/MINLPTests.jl/pull/34 merged first to be able to test the MINLP part
replacedd by #211
Time for a new release? Looks like it's been a while.