chore(deps): bump webrick from 1.8.1 to 1.8.2 in /docs (#5792)

Bumps [webrick](https://github.com/ruby/webrick) from 1.8.1 to 1.8.2. Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
dafny-lang · Sep 25, 2024 · 9bd656b · 9bd656b
1 parent 2036e20
commit 9bd656b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/Gemfile.lock b/docs/Gemfile.lock
@@ -72,7 +72,7 @@ GEM
     terminal-table (3.0.2)
       unicode-display_width (>= 1.1.1, < 3)
     unicode-display_width (2.5.0)
-    webrick (1.8.1)
+    webrick (1.8.2)
 
 PLATFORMS
   arm64-darwin-22