Skip to content

Conversation

@hvitved
Copy link
Contributor

@hvitved hvitved commented Nov 28, 2023

No description provided.

@github-actions github-actions bot added the C# label Nov 28, 2023
@hvitved hvitved marked this pull request as ready for review November 28, 2023 11:55
@hvitved hvitved requested a review from a team as a code owner November 28, 2023 11:55
@hvitved hvitved added the no-change-note-required This PR does not need a change note label Nov 28, 2023
Copy link
Contributor

@michaelnebel michaelnebel left a comment

Choose a reason for hiding this comment

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

Looks good to me!

@hvitved hvitved merged commit e79ad3b into github:main Nov 28, 2023
@hvitved hvitved deleted the csharp/stubvisitor-recursion-guard branch November 28, 2023 15:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C# no-change-note-required This PR does not need a change note

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants