Bump PolyJuMP to v0.7.1

jump-dev · Oct 19, 2023 · 0270e43 · 0270e43
1 parent f71d810
commit 0270e43
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/packages.toml b/docs/packages.toml
@@ -78,7 +78,7 @@
 # [Penopt]
 #     rev = "486f07d3f3a11f12012ea3ada702a3ee55c8fdc5"
 [PolyJuMP]
-    rev = "v0.7.0"
+    rev = "v0.7.1"
     extension = true
 [SCS]
     rev = "v1.3.1"