Merge branch 'master' into remote-desktop

This commit is contained in:
Evgeny Poberezkin
2023-11-18 18:03:13 +00:00
20 changed files with 934 additions and 341 deletions
+2 -1
View File
@@ -134,7 +134,8 @@ data ChatConfig = ChatConfig
cleanupManagerInterval :: NominalDiffTime,
cleanupManagerStepDelay :: Int64,
ciExpirationInterval :: Int64, -- microseconds
coreApi :: Bool
coreApi :: Bool,
highlyAvailable :: Bool
}
data DefaultAgentServers = DefaultAgentServers