Skip to content

CompatHelper: add new compat entry for "Ipopt" at version "0.6"#7

Open
github-actions[bot] wants to merge 1 commit intomasterfrom compathelper/new_version/2021-03-13-00-33-07-997-2966990506