From 17a831c0bf4143faf0576a12e86b4db22a9faf99 Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Wed, 10 Apr 2024 08:41:29 +0000
Subject: [PATCH] Update documentation for branch main

---
 main/footer.js | 4 ++--
 version.js     | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/main/footer.js b/main/footer.js
index 4551e00c..f4e1d55b 100644
--- a/main/footer.js
+++ b/main/footer.js
@@ -1,7 +1,7 @@
 function writeHeader() {
-    document.write('Version 11.0.1-dev16');
+    document.write('Version 11.0.1-dev17');
 };
 
 function writeFooter()  {
-    document.write('Generated on Wed Apr 10 2024 08:28:56 for CMSIS-FreeRTOS 11.0.1-dev16+gbcc8e35. Copyright &copy; 2024 Arm Limited (or its affiliates). All rights reserved.');
+    document.write('Generated on Wed Apr 10 2024 08:41:11 for CMSIS-FreeRTOS 11.0.1-dev17+g1b36db2. Copyright &copy; 2024 Arm Limited (or its affiliates). All rights reserved.');
 };
diff --git a/version.js b/version.js
index dbcb2dde..14288c71 100644
--- a/version.js
+++ b/version.js
@@ -1,6 +1,6 @@
 //--- list of versions ---
 const versions = {
-    "main": "11.0.1-dev16",
+    "main": "11.0.1-dev17",
     "latest": "10.5.1"
 }
 //--- list of versions ---