Skip to content

Conversation

@tomjebo
Copy link
Collaborator

@tomjebo tomjebo commented Jun 6, 2023

this was a typo in our backend generation.

@tomjebo tomjebo requested review from mikeebowen and twsouthwick June 6, 2023 17:56
@tomjebo
Copy link
Collaborator Author

tomjebo commented Jun 6, 2023

fixes #1441

Copy link
Member

@lindexi lindexi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you @tomjebo

@tomjebo tomjebo merged commit 3ed3d3a into dotnet:main Jun 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants