chore(deps): bump google-protobuf from 3.25.2 to 3.25.5 in /docs (#5783)

Bumps [google-protobuf](https://github.com/protocolbuffers/protobuf) from 3.25.2 to 3.25.5. Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Fabio Madge <[email protected]>
dafny-lang · Sep 25, 2024 · 8a4b1e7 · 8a4b1e7
1 parent 9bd656b
commit 8a4b1e7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/Gemfile.lock b/docs/Gemfile.lock
@@ -11,8 +11,8 @@ GEM
     eventmachine (1.2.7)
     ffi (1.16.3)
     forwardable-extended (2.6.0)
-    google-protobuf (3.25.2-arm64-darwin)
-    google-protobuf (3.25.2-x86_64-linux)
+    google-protobuf (3.25.5-arm64-darwin)
+    google-protobuf (3.25.5-x86_64-linux)
     http_parser.rb (0.8.0)
     i18n (1.14.1)
       concurrent-ruby (~> 1.0)