New version: Pluto v0.12.7 (#24218)

UUID: c3e4b0f8-55cb-11ea-2926-15256bba5781 Repo: https://github.com/fonsp/Pluto.jl.git Tree: 872651e9642e78c2d90b0cb13e5d9fec676ad297 Registrator tree SHA: e934b8c55381f28735124f23e8f7e96d09b20416
JuliaRegistries · Nov 5, 2020 · c07ed42 · c07ed42
1 parent bf06c9b
commit c07ed42
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/P/Pluto/Versions.toml b/P/Pluto/Versions.toml
@@ -324,3 +324,6 @@ git-tree-sha1 = "35c9ad1a6c94e3c3a1a70c8385a01470220f1d2a"
 
 ["0.12.6"]
 git-tree-sha1 = "2b1e403cbb3603f50da4c771f792f13396220f26"
+
+["0.12.7"]
+git-tree-sha1 = "872651e9642e78c2d90b0cb13e5d9fec676ad297"