Skip to content

Conversation

@Vennnot
Copy link
Contributor

@Vennnot Vennnot commented Apr 26, 2023

Copy of this stale PR: #6392 (comment) rebased. Both can be closed now.

Copy of this stale PR: #6392 (comment) rebased. Both can be closed now.
@Piralein Piralein added enhancement area:getting started Issues and PRs related to the Getting Started section of the documentation labels Apr 27, 2023
@Vennnot
Copy link
Contributor Author

Vennnot commented May 3, 2023

Let me know if I should change anything or if this can be merged.

@mhilbrunner mhilbrunner merged commit 3fa81e2 into godotengine:master May 3, 2023
@mhilbrunner
Copy link
Member

Nope, looks good! Thanks for salvaging that PR! 🎉 Merged.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:getting started Issues and PRs related to the Getting Started section of the documentation enhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants