Adjust devel to 3.12.7 release and raise version to 3.12.8

KVS85 · KVS85 · commit 863d61db930f · 2025-12-11T13:50:44.000+01:00
diff --git a/ARANGO-VERSION b/ARANGO-VERSION
@@ -1 +1 @@
-3.12.7-devel
+3.12.8-devel
diff --git a/CHANGELOG b/CHANGELOG
@@ -3,7 +3,11 @@ devel
 
 * FE-636: bump rollup from 2.79.1 to 2.79.2.
 
-* Replace arangodb.com with arango.ai in URLs
+* Replace arangodb.com with arango.ai in URLs.
+
+
+3.12.7 (2025-12-06)
+-------------------
 
 * Updated ArangoDB Starter to v0.19.15.
 
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -73,7 +73,7 @@ set(ARANGODB_VERSION_MINOR "12")
 
 # when building the nightly ARANGODB_VERSION_PATCH will be set
 if(NOT DEFINED ARANGODB_VERSION_PATCH)
-  set(ARANGODB_VERSION_PATCH "7")
+  set(ARANGODB_VERSION_PATCH "8")
   set(ARANGODB_VERSION_RELEASE_TYPE "devel")
   set(ARANGODB_VERSION_RELEASE_NUMBER "")
 else()
diff --git a/js/apps/system/_admin/aardvark/APP/api-docs.json b/js/apps/system/_admin/aardvark/APP/api-docs.json
