New version: JuMP v1.23.1 (#114141)

UUID: 4076af6c-e467-56ae-b986-b466b2749572 Repo: https://github.com/jump-dev/JuMP.jl.git Tree: 82bc707a67639be45ec9abf3a7640af19c4172fe Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
JuliaRegistries · Aug 30, 2024 · 1b8fce3 · 1b8fce3
1 parent b850743
commit 1b8fce3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/J/JuMP/Versions.toml b/J/JuMP/Versions.toml
@@ -186,3 +186,6 @@ git-tree-sha1 = "7e10a0d8b534f2d8e9f712b33488584254624fb1"
 
 ["1.23.0"]
 git-tree-sha1 = "1171edaad5873df2c93808fb13fd6f87de6510fd"
+
+["1.23.1"]
+git-tree-sha1 = "82bc707a67639be45ec9abf3a7640af19c4172fe"