Merge branch 'v12/dev' into v13/dev

ronaldbarendse · ronaldbarendse · commit 98157e0af62d · 2024-07-16T16:03:06.000+02:00
diff --git a/version.json b/version.json
@@ -22,4 +22,4 @@
     "tagName": "release-{version}",
     "branchName": "release/{version}"
   }
-}
+}
