CompatHelper: bump compat for DomainSets to 0.7, (keep existing compat)#165

github-actions[bot] wants to merge 1 commit intomastercontradict/ModelingToolkit.jl:masterfrom

compathelper/new_version/2023-10-10-00-04-27-255-01336048057contradict/ModelingToolkit.jl:compathelper/new_version/2023-10-10-00-04-27-255-01336048057Copy head branch name to clipboard