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 © 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 © 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",