From c77b9710180ed7daacbbb7f0165357229c314f5e Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Wed, 7 Apr 2021 15:17:01 -0700 Subject: [PATCH] Upgrade to kramdown 2.3.1 (#1169) Merging this PR despite CI failure. The CI failure concerns building the reference manual, which fails because of change of `basictex` versions. The change has recently been reflected in https://github.com/Homebrew/homebrew-cask/pull/103001, but evidently some brew/cask/basictex/etc. release/synchronization still needs to happen before we get to reap the benefit of this fix. --- docs/Gemfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Gemfile b/docs/Gemfile index f69d898542b..97dc5e8af74 100644 --- a/docs/Gemfile +++ b/docs/Gemfile @@ -19,7 +19,7 @@ gem "github-pages", "~> 209", group: :jekyll_plugins #end gem 'jekyll-numbered-headings' -gem "kramdown", ">= 2.3.0" +gem "kramdown", ">= 2.3.1" # Windows and JRuby does not include zoneinfo files, so bundle the tzinfo-data gem # and associated library.