Skip to content

Conversation

@raulsntos
Copy link
Member

@raulsntos raulsntos added enhancement topic:dotnet area:manual Issues and PRs related to the Manual/Tutorials section of the documentation labels Oct 27, 2023
@raulsntos raulsntos added this to the 4.2 milestone Oct 27, 2023
@mhilbrunner mhilbrunner merged commit 1e2867c into godotengine:master Oct 27, 2023
@mhilbrunner
Copy link
Member

Thank you! 🙏 Merged.

@raulsntos raulsntos deleted the dotnet/diagnostics-update branch October 27, 2023 21:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:manual Issues and PRs related to the Manual/Tutorials section of the documentation enhancement topic:dotnet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants