Make RequestId non-required (#984)

This commit is contained in:
Mackinnon Buck 2025-11-18 16:03:31 -08:00 • committed by GitHub
commit d540dc1fb1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -26,5 +26,5 @@ public abstract class JsonRpcMessageWithId : JsonRpcMessage
/// Each ID is expected to be unique within the context of a given session.
/// </remarks>
[JsonPropertyName("id")]
public required RequestId Id { get; set; }
public RequestId Id { get; set; }
}