Skip to content

Conversation

@bmolyneaux
Copy link
Contributor

@dalexeev
Copy link
Member

@AThousandShips AThousandShips added enhancement area:manual Issues and PRs related to the Manual/Tutorials section of the documentation labels Aug 23, 2023
@bmolyneaux
Copy link
Contributor Author

Thanks for making the pull request!

The proposal godotengine/godot-proposals#754 has been open for over 3 years. This subtlety has been undocumented for a long time. I expect it will still be some time before the discussion around this proposal is resolved and your pull request is merged. A warning message would be helpful, but I don't think it negates the need to document this behavior.

@mhilbrunner mhilbrunner merged commit 4011dc5 into godotengine:master Oct 8, 2023
@mhilbrunner
Copy link
Member

Merging this for now, as noted above, even if fixed in a future version, we can then update the docs for that version. :) Thanks for the PR!

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants