Open mschulkind opened 10 months ago
This should not modify any functionality of the replies, only change how they're defined slightly so that type checkers can understand the fields and types.
This should not modify any functionality of the replies, only change how they're defined slightly so that type checkers can understand the fields and types.