Skip to content

Conversation

@Chaosus
Copy link
Member

@Chaosus Chaosus commented Sep 23, 2023

There is no need to include that header in *.cpp file after the merge of #8009.

@Chaosus Chaosus added enhancement area:manual Issues and PRs related to the Manual/Tutorials section of the documentation labels Sep 23, 2023
@Chaosus Chaosus added this to the 4.2 milestone Sep 23, 2023
@Chaosus Chaosus merged commit 4752803 into godotengine:master Sep 23, 2023
@Chaosus Chaosus deleted the gextension_fix2 branch September 23, 2023 07:30
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.

1 participant