From 6c3c5f19f2d37b0f425b09dabcf518401f120535 Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Wed, 4 Oct 2023 10:43:04 +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 843f798c3..808d670e4 100644
--- a/developing/footer.js
+++ b/developing/footer.js
@@ -1,7 +1,7 @@
 function writeHeader() {
-    document.write('Version 1.1.5-dev85');
+    document.write('Version 1.1.5-dev86');
 };
 
 function writeFooter()  {
-    document.write('Generated on Wed Oct  4 2023 10:34:03 for Arm-2D 1.1.5-dev85+gad61467. Copyright &copy; 2022-2023 Arm Limited (or its affiliates). All rights reserved.');
+    document.write('Generated on Wed Oct  4 2023 10:42:42 for Arm-2D 1.1.5-dev86+gf26fb89. Copyright &copy; 2022-2023 Arm Limited (or its affiliates). All rights reserved.');
 };
diff --git a/version.js b/version.js
index 373470061..4d82191d4 100644
--- a/version.js
+++ b/version.js
@@ -1,6 +1,6 @@
 //--- list of versions ---
 const versions = {
-    "developing": "1.1.5-dev85",
+    "developing": "1.1.5-dev86",
     "main": "1.1.5-dev44",
     "latest": "1.1.4",
     "v1.1.3": "1.1.3",