CompatHelper: bump compat for Nemo to 0.40, (keep existing compat)#271
Closed
github-actions[bot] wants to merge 2 commits intomasterfrom compathelper/new_version/2024-01-25-00-08-10-493-01962035522
+1-1
Commits
Commits on Jan 25, 2024
- committed
CompatHelper Julia
