From a7b5bf355fbfb7ca37d0235f540b3bdad26d2cdb Mon Sep 17 00:00:00 2001
From: GitHub Action <action@github.com>
Date: Thu, 23 Feb 2023 11:53:24 +0000
Subject: [PATCH] Deployed 898b9039da to master with MkDocs 1.4.2 and mike
 1.1.2

---
 master/sitemap.xml.gz | Bin 2478 -> 2478 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/master/sitemap.xml.gz b/master/sitemap.xml.gz
index 6f8e6c30c5c37761e63588082977f2651b05dfca..2e59df7328549989a69866a9ef2f4e906719ed51 100644
GIT binary patch
delta 15
WcmZ1{yiS-+zMF$%WAH|{6`TMi%ml9h

delta 15
WcmZ1{yiS-+zMF$%m(E7E6`TMiKLn8g