Skip to content

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

Open
github-actions[bot] wants to merge 1 commit intomasterfrom compathelper/new_version/2022-01-19-00-31-43-246-03723575562

Commits

Commits on Jan 19, 2022