Skip to content

Conversation

@raulsntos
Copy link
Member

@raulsntos raulsntos added topic:dotnet content:new page Issues and PRs related to creation of new documentation pages for new or undocumented features area:manual Issues and PRs related to the Manual/Tutorials section of the documentation labels Feb 23, 2025
@raulsntos raulsntos added this to the 4.4 milestone Feb 23, 2025
Copy link
Contributor

@tetrapod00 tetrapod00 left a comment

Choose a reason for hiding this comment

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

Looks okay to me. Are we waiting for a review from @paulloz?

@tetrapod00 tetrapod00 merged commit 6361c66 into godotengine:master Feb 26, 2025
2 checks passed
@tetrapod00
Copy link
Contributor

Thank you!

@raulsntos raulsntos deleted the dotnet/export-tool-diagnostics branch March 4, 2025 17:13
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 content:new page Issues and PRs related to creation of new documentation pages for new or undocumented features topic:dotnet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants