Skip to content

CompatHelper: bump compat for "Ipopt" to "0.9"#25

Open
github-actions[bot] wants to merge 1 commit intomasterfrom compathelper/new_version/2022-02-17-01-09-24-594-1987240791