CompatHelper: add new compat entry for Optimization at version 5, (keep existing compat)#14

Open

github-actions[bot] wants to merge 1 commit into

mainfrom

compathelper/new_version/2025-10-15-00-59-47-337-02927990650

Commits on Oct 15, 2025

CompatHelper: add new compat entry for Optimization at version 5, (keep existing compat)
CompatHelper Julia
committed