Merge branch 'master' into master-ghc8107

2026-06-06 15:32:20 +00:00 · 2023-11-19 23:42:13 +00:00
parent 3937ffa9a6 bf8457fb40
commit daa8d9bb21
53 changed files with 3152 additions and 489 deletions
@@ -68,7 +68,8 @@ testOpts =
            logServerHosts = False,
            logAgent = Nothing,
            logFile = Nothing,
-            tbqSize = 16
+            tbqSize = 16,
+            highlyAvailable = False
          },
      chatCmd = "",
      chatCmdDelay = 3,