diff --git a/main/footer.js b/main/footer.js index fa0af83e..dff4ff14 100644 --- a/main/footer.js +++ b/main/footer.js @@ -1,7 +1,7 @@ function writeHeader() { - document.write('Version 1.14.2-dev18'); + document.write('Version 1.14.2-dev19'); }; function writeFooter() { - document.write('Generated on Thu Nov 3 2022 13:58:12 for CMSIS-DSP 1.14.2-dev18+g7a27992. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.'); + document.write('Generated on Thu Nov 3 2022 14:09:29 for CMSIS-DSP 1.14.2-dev19+g4d090be. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.'); }; diff --git a/version.js b/version.js index 054b52cf..3c7c776d 100644 --- a/version.js +++ b/version.js @@ -1,6 +1,6 @@ //--- list of versions --- const versions = { - "main": "1.14.2-dev18", + "main": "1.14.2-dev19", "latest": "1.14.1", "v1.14.0": "1.14.0", "v1.12.0": "1.12.0",