Skip to content

Conversation

@dalexeev
Copy link
Member

@dalexeev dalexeev commented Jul 2, 2023

No description provided.

@Piralein
Copy link
Member

Piralein commented Jul 4, 2023

Some of the changes are already part of #6586.

@Piralein Piralein added bug topic:gdscript area:manual Issues and PRs related to the Manual/Tutorials section of the documentation cherrypick:4.0 cherrypick:4.1 labels Jul 4, 2023
@dalexeev
Copy link
Member Author

dalexeev commented Jul 4, 2023

Some of the changes are already part of #6586.

Oh, I should have checked if this PR was open before. Now we need to consolidate the changes from both PRs. @gelvinp You have more priority (since you opened your PR first) if you wish.

@mhilbrunner
Copy link
Member

Sorry this has been sitting here for a bit due to the volume of PRs; we've just merged #8250 which targets the same changes and should supersede this. If there is still anything worth adding, a new followup PR is welcome. Thanks again :)

@mhilbrunner mhilbrunner added archived and removed bug topic:gdscript area:manual Issues and PRs related to the Manual/Tutorials section of the documentation cherrypick:4.0 cherrypick:4.1 labels Nov 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants