diff --git a/J/JET/Versions.toml b/J/JET/Versions.toml index 02bead1dc398a4f..e0dbca7b8d1b021 100644 --- a/J/JET/Versions.toml +++ b/J/JET/Versions.toml @@ -369,3 +369,6 @@ git-tree-sha1 = "db3d262aed9730b3670d54000f452f4cd839f185" ["0.9.11"] git-tree-sha1 = "b2cb92e1fa8c1f33b1eb997e195dca442f53440b" + +["0.9.12"] +git-tree-sha1 = "5c5ac91e775b585864015c5c1703cee283071a47"