diff --git a/H/HiGHS/Versions.toml b/H/HiGHS/Versions.toml index 9728e4492fa0215..bd39fd1085b56be 100644 --- a/H/HiGHS/Versions.toml +++ b/H/HiGHS/Versions.toml @@ -84,3 +84,6 @@ git-tree-sha1 = "5baf69bbf846ec78997ed12c548d8d1550a7431d" ["1.7.0"] git-tree-sha1 = "c3606d14c59c33396df9d0c2664c92b1d6e66506" + +["1.7.1"] +git-tree-sha1 = "92f5dc0dd0dffa7c1bb8485f1f6d99014d5b75a9"