Update docs/packages.toml

jump-dev · Nov 15, 2023 · 4d934da · 4d934da
1 parent 3a5639c
commit 4d934da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/packages.toml b/docs/packages.toml
@@ -153,7 +153,7 @@
     has_html = true
 [Manopt]
     user = "JuliaManifolds"
-    rev = "v0.4.42"
+    rev = "c1fc4a5bc8361a20eaa0bcf48aba36fa16089766"
     filename = "Readme.md"
 [NEOSServer]
     user = "odow"