Merge branch 'main' into mixed-order-recovery

firedrakeproject · Aug 7, 2024 · 5393c08 · 5393c08
2 parents 4f36170 + d31ec89
commit 5393c08
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/Gemfile.lock b/docs/Gemfile.lock
@@ -222,7 +222,7 @@ GEM
     rb-fsevent (0.11.2)
     rb-inotify (0.10.1)
       ffi (~> 1.0)
-    rexml (3.3.2)
+    rexml (3.3.3)
       strscan
     rouge (3.26.0)
     ruby2_keywords (0.0.5)