Bump commonmarker from 0.23.7 to 0.23.9 in /docs (#3861)

dafny-lang · Apr 22, 2023 · f116640 · f116640
1 parent f7071dc
commit f116640
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/Gemfile.lock b/docs/Gemfile.lock
@@ -14,7 +14,7 @@ GEM
  execjs
  coffee-script-source (1.11.1)
  colorator (1.1.0)
- commonmarker (0.23.7)
+ commonmarker (0.23.9)
  concurrent-ruby (1.2.0)
  dnsruby (1.61.9)
  simpleidn (~> 0.1)