From 70522ed8da77e308b25427da6a7335c953068bac Mon Sep 17 00:00:00 2001 From: David Baker Date: Wed, 21 Dec 2022 15:26:24 +0000 Subject: [PATCH] Also add comment --- src/config/ConfigOptions.ts | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/config/ConfigOptions.ts b/src/config/ConfigOptions.ts index f8f3ba1..e799d59 100644 --- a/src/config/ConfigOptions.ts +++ b/src/config/ConfigOptions.ts @@ -30,6 +30,8 @@ export interface ConfigOptions { }; } +// Overrides members from ConfigOptions that are always provided by the +// default config and are therefore non-optional. export interface ResolvedConfigOptions extends ConfigOptions { default_server_config: { ["m.homeserver"]: {