Merge pull request #9 from DiegoMagdaleno/master

Fix: edited_timestamp should be either Date | null not Date | undefined
This commit is contained in:
Diego Magdaleno
2021-07-21 15:38:25 -05:00
committed by GitHub

View File

@@ -16,7 +16,7 @@ export interface Message {
application_id?: string;
content?: string;
timestamp: Date;
edited_timestamp?: Date;
edited_timestamp: Date | null;
tts?: boolean;
mention_everyone?: boolean;
mention_user_ids: string[];