New version: Gridap v0.17.15 (#71981)

UUID: 56d4f2e9-7ea1-5844-9cf6-b9c51ca7ce8e Repo: https://github.com/gridap/Gridap.jl.git Tree: ce1566a0f3b8002a2e19ad718779ac853f5cce4d Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec
JuliaRegistries · Nov 10, 2022 · 1db88f4 · 1db88f4
1 parent 64d0c92
commit 1db88f4
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/G/Gridap/Versions.toml b/G/Gridap/Versions.toml
@@ -171,3 +171,6 @@ git-tree-sha1 = "74435be39017d49f0a0aefd5a0f74b75bd05c846"
 
 ["0.17.14"]
 git-tree-sha1 = "e66749aba5b8d2e41155c2b12dea9bc7c2a71440"
+
+["0.17.15"]
+git-tree-sha1 = "ce1566a0f3b8002a2e19ad718779ac853f5cce4d"