diff --git a/M/ManifoldsBase/Versions.toml b/M/ManifoldsBase/Versions.toml index 205afc38ec81311..2b2465aa02b9685 100644 --- a/M/ManifoldsBase/Versions.toml +++ b/M/ManifoldsBase/Versions.toml @@ -126,3 +126,6 @@ git-tree-sha1 = "2ff074880133057c85c0d72bcb15300d4b45a39c" ["0.12.3"] git-tree-sha1 = "117f1676d28c5546939108bf09495d0f24465dc9" + +["0.12.4"] +git-tree-sha1 = "c498909007b349076d3ec942667fa38a9ee831bc"