From c75dbd107943ce59ef7bf9239dcd3563dd73c606 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Mon, 19 Jun 2023 10:22:09 +0000 Subject: [PATCH] Deployed b902226 to master with MkDocs 1.4.2 and mike 1.1.2 --- master/CHANGELOG/index.html | 242 +++++++++++++++++++++----------- master/search/search_index.json | 2 +- master/sitemap.xml.gz | Bin 203 -> 203 bytes 3 files changed, 158 insertions(+), 86 deletions(-) diff --git a/master/CHANGELOG/index.html b/master/CHANGELOG/index.html index d71e583..f7617a1 100644 --- a/master/CHANGELOG/index.html +++ b/master/CHANGELOG/index.html @@ -401,6 +401,40 @@ + + +
  • + + 7.2.0 + + + +
  • @@ -412,7 +446,7 @@