Skip to content

Conversation

@dalexeev
Copy link
Member

@dalexeev dalexeev commented Feb 7, 2024

@dalexeev dalexeev added enhancement topic:gdscript area:manual Issues and PRs related to the Manual/Tutorials section of the documentation labels Feb 7, 2024
@mhilbrunner mhilbrunner merged commit 2885812 into godotengine:master Feb 7, 2024
@mhilbrunner
Copy link
Member

Thanks!

@dalexeev dalexeev deleted the gds-is-not-operator branch February 7, 2024 12:44
@dalexeev
Copy link
Member Author

dalexeev commented Feb 7, 2024

This is implemented for 4.3 only, cherry-pick is not needed (just in case).

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 topic:gdscript

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants