Merge branch 'master' into merge-master

This commit is contained in:
Revision
2026-01-03 17:37:33 +01:00
622 changed files with 182141 additions and 130375 deletions

View File

@@ -106,6 +106,7 @@ option(WITH_DYNAMIC_LINKING "Enable dynamic library linking."
option(WITH_STRICT_DATABASE_TYPE_CHECKS "Enable strict checking of database field value accessors" 0)
option(WITHOUT_METRICS "Disable metrics reporting (i.e. InfluxDB and Grafana)" 0)
option(WITH_DETAILED_METRICS "Enable detailed metrics reporting (i.e. time each session takes to update)" 0)
option(TOOL_CONFIG_MERGER "Install the Python config merger tool alongside config files" 0)
CheckApplicationsBuildList()
CheckToolsBuildList()