Skip to content

Conversation

@Calinou
Copy link
Member

@Calinou Calinou commented Jul 11, 2023

@Calinou Calinou added enhancement area:manual Issues and PRs related to the Manual/Tutorials section of the documentation cherrypick:4.0 cherrypick:4.1 labels Jul 11, 2023
@mhilbrunner mhilbrunner merged commit 073725b into godotengine:master Jul 18, 2023
@mhilbrunner
Copy link
Member

Thank you! Merged.

@Calinou Calinou deleted the update-performance branch July 27, 2023 06:19
nhunt290 pushed a commit to nhunt290/godot-docs that referenced this pull request Sep 25, 2023
GeneralProtectionFault pushed a commit to GeneralProtectionFault/godot-docs that referenced this pull request Oct 21, 2023
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants