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

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

devJuDO-dev/Interesso.jl:devfrom

compathelper/new_version/2025-06-28-01-25-09-680-00849979739JuDO-dev/Interesso.jl:compathelper/new_version/2025-06-28-01-25-09-680-00849979739Copy head branch name to clipboard