New version: Devito v0.10.4 (#93506)

UUID: 06ed14b1-0e40-4084-abdf-764a285f8c42 Repo: https://github.com/ChevronETC/Devito.jl.git Tree: c7f3145075da4477aad4e7e17e669422341925ec Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701
JuliaRegistries · Oct 16, 2023 · 80f4e3d · 80f4e3d
1 parent 3fb9d25
commit 80f4e3d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/D/Devito/Versions.toml b/D/Devito/Versions.toml
@@ -51,3 +51,6 @@ git-tree-sha1 = "68a22c650ce165ec042a6920484bc0cc794a72d1"
 
 ["0.10.3"]
 git-tree-sha1 = "3f8368d0d06c59994cf72b05907353900c0624d1"
+
+["0.10.4"]
+git-tree-sha1 = "c7f3145075da4477aad4e7e17e669422341925ec"