Merge branch 'master' into rh/tapedtask

TuringLang · Feb 20, 2022 · fb12fa2 · fb12fa2
2 parents 472e0de + 4a85b47
commit fb12fa2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -3,7 +3,7 @@ uuid = "6f1fad26-d15e-5dc8-ae53-837a1d7b8c9f"
 license = "MIT"
 desc = "Tape based task copying in Turing"
 repo = "https://github.com/TuringLang/Libtask.jl.git"
-version = "0.10.0"
+version = "0.7.0"
 
 [deps]
 IRTools = "7869d1d1-7146-5819-86e3-90919afe41df"