diff --git a/S/Santiago/Versions.toml b/S/Santiago/Versions.toml index 4cf2cf5f7ca9d05..83520c10280411c 100644 --- a/S/Santiago/Versions.toml +++ b/S/Santiago/Versions.toml @@ -72,3 +72,6 @@ git-tree-sha1 = "59b44ff3254e9c6ec00bfb6cffadf07263fb9740" ["0.7.1"] git-tree-sha1 = "7b9854fcdbb6386a9a00b63643794288f71a00b0" + +["0.7.2"] +git-tree-sha1 = "ce7085444fa1bfb3886c543545688fad72944653"