feat: add a couple missing Discord types

This commit is contained in:
spiral
2022-01-13 12:28:44 -05:00
parent dfc9f8fcfb
commit 47e15e3acb
2 changed files with 4 additions and 0 deletions

View File

@@ -18,6 +18,9 @@ public record GatewayIdentify
public GatewayIntent Intents { get; init; }
[JsonIgnore(Condition = JsonIgnoreCondition.WhenWritingNull)]
public GatewayStatusUpdate? Presence { get; init; }
public record ConnectionProperties
{
[JsonPropertyName("$os")] public string Os { get; init; }