Merge branch 'master' into more_modern_ui

Author: gsantner

build.gradle

@@ -10,7 +10,7 @@ import java.text.SimpleDateFormat
 
 buildscript {
     ext {
-        version_gradle_tools = '8.13.1'
+        version_gradle_tools = '8.13.2'
         version_plugin_kotlin = "1.3.72"
         enable_plugin_kotlin = false