Use latest commit for PolyJuMP README

jump-dev · Oct 20, 2023 · 2b342ae · 2b342ae
1 parent 0270e43
commit 2b342ae
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.1"
+    rev = "6b280429865850cd278f0d74d0a176d53da2980e"
     extension = true
 [SCS]
     rev = "v1.3.1"