Skip to content

CompatHelper: bump compat for "Ipopt" to "0.7"#15

Open
github-actions[bot] wants to merge 1 commit intomasterfrom compathelper/new_version/2021-07-16-01-01-29-662-3708202324

Commits

Commits on Jul 16, 2021