Merge branch 'master' into master-ghc8107

2024-12-17 17:20:21 +01:00 · 2023-11-23 16:22:46 +00:00
parent 45102442f4 d837f87f09
commit 1781495ee3
60 changed files with 534 additions and 290 deletions
@@ -71,6 +71,7 @@ testOpts =
            tbqSize = 16,
            highlyAvailable = False
          },
+      deviceName = Nothing,
      chatCmd = "",
      chatCmdDelay = 3,
      chatServerPort = Nothing,