Skip to content

CompatHelper: bump compat for JuMP to 0.22, (keep existing compat)#222

Closed
github-actions[bot] wants to merge 1 commit intomasterfrom compathelper/new_version/2021-11-11-01-12-01-701-01767043271

Commits

Commits on Nov 11, 2021