From 3b346189bbbefa49f55461564d5c0891b5a3e792 Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Thu, 19 Dec 2024 23:32:05 +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 09fa4717..4e21cef3 100644
--- a/developing/footer.js
+++ b/developing/footer.js
@@ -1,7 +1,7 @@
 function writeHeader() {
-    document.write('Version 1.2.1-dev257');
+    document.write('Version 1.2.1-dev258');
 };
 
 function writeFooter()  {
-    document.write('Generated on Thu Dec 19 2024 23:16:08 for Arm-2D 1.2.1-dev257+g326bf40. Copyright &copy; 2022-2024 Arm Limited (or its affiliates). All rights reserved.');
+    document.write('Generated on Thu Dec 19 2024 23:31:44 for Arm-2D 1.2.1-dev258+g721076b. Copyright &copy; 2022-2024 Arm Limited (or its affiliates). All rights reserved.');
 };
diff --git a/version.js b/version.js
index e4c55766..0109c6ed 100644
--- a/version.js
+++ b/version.js
@@ -1,6 +1,6 @@
 //--- list of versions ---
 const versions = {
-    "developing": "1.2.1-dev257",
+    "developing": "1.2.1-dev258",
     "main": "1.2.1-dev1",
     "latest": "1.2.0",
     "v1.1.6": "1.1.6",