Skip to content

CompatHelper: bump compat for OptimizationNLopt to 0.3, (keep existing compat)#103

Open
github-actions[bot] wants to merge 1 commit intomainfrom compathelper/new_version/2024-12-12-00-10-18-062-02776272181

Commits