Open
Description
Noted in #1474, we can simplify these with the newish record keyword (which we have access to because of OmniSharp).
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests
Noted in #1474, we can simplify these with the newish record keyword (which we have access to because of OmniSharp).