New version: JuMP v1.8.1 (#78287)

UUID: 4076af6c-e467-56ae-b986-b466b2749572 Repo: https://github.com/jump-dev/JuMP.jl.git Tree: 205e4b5b4d7df39568e0b3635082f0c179ef62a9 Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701
JuliaRegistries · Feb 22, 2023 · 438f910 · 438f910
1 parent 7a77b1d
commit 438f910
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/J/JuMP/Versions.toml b/J/JuMP/Versions.toml
@@ -114,3 +114,6 @@ git-tree-sha1 = "8ebcb407c28617ea075563c550ec766dddf25a2e"
 
 ["1.8.0"]
 git-tree-sha1 = "35d0aef36be41d78c57e347fa36decf89cefca12"
+
+["1.8.1"]
+git-tree-sha1 = "205e4b5b4d7df39568e0b3635082f0c179ef62a9"