CompatHelper: add new compat entry for ProgressMeter at version 1, (keep existing compat)#11

github-actions[bot] wants to merge 1 commit intomainCLeARoboticsLab/InverseHyperplanes.jl:mainfrom

compathelper/new_version/2023-12-02-00-40-08-544-00886217079CLeARoboticsLab/InverseHyperplanes.jl:compathelper/new_version/2023-12-02-00-40-08-544-00886217079Copy head branch name to clipboard