New version: JuMP v0.23.1 (#55930)

UUID: 4076af6c-e467-56ae-b986-b466b2749572 Repo: https://github.com/jump-dev/JuMP.jl.git Tree: ab093fae27d6ccbb41eb7c8e8c5664b881c79929 Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec
JuliaRegistries · Mar 4, 2022 · ce4e4c9 · ce4e4c9
1 parent 4fe5887
commit ce4e4c9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/J/JuMP/Versions.toml b/J/JuMP/Versions.toml
@@ -72,3 +72,6 @@ git-tree-sha1 = "fe0f87cc077fc6a23c21e469318993caf2947d10"
 
 ["0.23.0"]
 git-tree-sha1 = "7f0a1f98ea623b46e82e4133b73df67869e0a869"
+
+["0.23.1"]
+git-tree-sha1 = "ab093fae27d6ccbb41eb7c8e8c5664b881c79929"