Skip to content

Conversation

@Calinou
Copy link
Member

@Calinou Calinou commented Jul 13, 2023

No description provided.

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

Nice catch! Merged. Thanks!

@Calinou Calinou deleted the fix-backticks branch July 27, 2023 06:19
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 bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants