diff --git a/I/IRTools/Versions.toml b/I/IRTools/Versions.toml index a641e74ce86f7d1..15022938aa977cb 100644 --- a/I/IRTools/Versions.toml +++ b/I/IRTools/Versions.toml @@ -66,3 +66,6 @@ git-tree-sha1 = "eac00994ce3229a464c2847e956d77a2c64ad3a5" ["0.4.11"] git-tree-sha1 = "8aa91235360659ca7560db43a7d57541120aa31d" + +["0.4.12"] +git-tree-sha1 = "5d8c5713f38f7bc029e26627b687710ba406d0dd"