diff --git a/G/GridapEmbedded/Versions.toml b/G/GridapEmbedded/Versions.toml index 2bc799ae1157d11..885cb3a618c356a 100644 --- a/G/GridapEmbedded/Versions.toml +++ b/G/GridapEmbedded/Versions.toml @@ -45,3 +45,6 @@ git-tree-sha1 = "c7b14b53049733f867ebfba2da3f5775fa0978fb" ["0.9.2"] git-tree-sha1 = "87ca4f64cd1ee88be51b3ad623ae594385c990c1" + +["0.9.3"] +git-tree-sha1 = "d2161d2ff4119077a87be70e8da320d558c41720"