From 7fa991c51be4efa1259555f3e12d95927234f186 Mon Sep 17 00:00:00 2001 From: squidfunk Date: Thu, 1 Jun 2023 08:50:00 +0200 Subject: [PATCH] Updated Insiders changelog --- CHANGELOG | 4 ++++ docs/insiders/changelog.md | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/CHANGELOG b/CHANGELOG index 761db5475..221aac022 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,7 @@ +mkdocs-material-9.1.15+insiders-4.35.3 (2023-06-01) + + * Fixed #5579: Abbreviations in headlines filtered by typeset plugin + mkdocs-material-9.1.15+insiders-4.35.2 (2023-05-29) * Fixed #5555: Blog plugin crashes when computing readtime for emojis diff --git a/docs/insiders/changelog.md b/docs/insiders/changelog.md index 59f08554a..462d6a4bf 100644 --- a/docs/insiders/changelog.md +++ b/docs/insiders/changelog.md @@ -2,6 +2,10 @@ ## Material for MkDocs Insiders +### 4.35.3 June 1, 2023 { id="4.35.3" } + +- Fixed #5579: Abbreviations in headlines filtered by typeset plugin + ### 4.35.2 May 29, 2023 { id="4.35.2" } - Fixed #5555: Blog plugin crashes when computing readtime for emojis