CompatHelper: bump compat for Gridap to 0.17, (drop existing compat)#1
Open
github-actions[bot] wants to merge 1 commit intomainfrom compathelper/new_version/2022-01-21-00-27-23-738-03815895727
+1-1
Commits
Commits on Jan 21, 2022
- committed
CompatHelper Julia