Skip to content

Conversation

@paulloz
Copy link
Member

@paulloz paulloz commented Mar 30, 2024

This rule is outdated. Discussed here.

@skyace65 skyace65 added enhancement area:manual Issues and PRs related to the Manual/Tutorials section of the documentation labels Mar 31, 2024
@mhilbrunner mhilbrunner requested review from raulsntos and removed request for raulsntos March 31, 2024 21:02
@mhilbrunner
Copy link
Member

Ah, nevermind, just read the discussion. This seems good to go then, thank you!

@mhilbrunner mhilbrunner merged commit 2227328 into godotengine:master Mar 31, 2024
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