Also add comment

2022-12-21 15:26:24 +00:00
parent 3581aceb5a
commit 70522ed8da
1 changed files with 2 additions and 0 deletions
--- 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"]: {