Skip to content

CompatHelper: bump compat for "Ipopt" to "1"#26

Open
github-actions[bot] wants to merge 1 commit intomasterfrom compathelper/new_version/2022-02-21-01-13-18-837-2854014505