Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update "GDScript warning system" page #7601

Closed
wants to merge 1 commit into from

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