From 1432d9f2254b6e958f3dde9c777cfb82cf5bb1a9 Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Sat, 28 Dec 2024 06:13:27 +0000
Subject: [PATCH] Update documentation for branch developing

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

diff --git a/developing/footer.js b/developing/footer.js
index 1f977c67..a5d10f9a 100644
--- a/developing/footer.js
+++ b/developing/footer.js
@@ -1,7 +1,7 @@
 function writeHeader() {
-    document.write('Version 1.2.2-dev11');
+    document.write('Version 1.2.2-dev12');
 };
 
 function writeFooter()  {
-    document.write('Generated on Sat Dec 28 2024 05:55:28 for Arm-2D 1.2.2-dev11+gcdebea7. Copyright &copy; 2022-2024 Arm Limited (or its affiliates). All rights reserved.');
+    document.write('Generated on Sat Dec 28 2024 06:13:07 for Arm-2D 1.2.2-dev12+g8771581. Copyright &copy; 2022-2024 Arm Limited (or its affiliates). All rights reserved.');
 };
diff --git a/version.js b/version.js
index 9e8e1292..802ddd2a 100644
--- a/version.js
+++ b/version.js
@@ -1,6 +1,6 @@
 //--- list of versions ---
 const versions = {
-    "developing": "1.2.2-dev11",
+    "developing": "1.2.2-dev12",
     "latest": "1.2.1",
     "main": "1.2.1-dev272",
     "v1.2.0": "1.2.0",