diff --git a/F/FpCategories/Versions.toml b/F/FpCategories/Versions.toml index fd35f8751415670..0667ca334e8eba6 100644 --- a/F/FpCategories/Versions.toml +++ b/F/FpCategories/Versions.toml @@ -33,3 +33,6 @@ git-tree-sha1 = "dd898e151e82ef5c2951292b4f8aee073a1f417e" ["0.1.11"] git-tree-sha1 = "0f18c8b0486a4218da42c21b56998c7cfe1452b3" + +["0.1.12"] +git-tree-sha1 = "7e8870a497147168acbd2bfcaa3768f47df9568b"