diff --git a/E/EnhancedGJK/Versions.toml b/E/EnhancedGJK/Versions.toml index 19504840a7e01ba..39efb0b79db4032 100644 --- a/E/EnhancedGJK/Versions.toml +++ b/E/EnhancedGJK/Versions.toml @@ -9,3 +9,6 @@ git-tree-sha1 = "0b3d18cdcc1a2b83e8dbb765dbf24383a6b9e615" ["0.3.0"] git-tree-sha1 = "f974c5c6a86f4fed88413bb114ad775dbb5c9e5a" + +["0.3.1"] +git-tree-sha1 = "9a1ba9e4b8b414e7c6edcb0fc5d08ed956ea2cef"