Skip to content

Conversation

@Repiteo
Copy link
Contributor

@Repiteo Repiteo commented Mar 10, 2024

Companion PR for godotengine/godot#89270

@Repiteo Repiteo requested a review from a team as a code owner March 10, 2024 21:07
@AThousandShips AThousandShips added enhancement This is an enhancement on the current functionality waiting for Godot PRs that can't be merged until an engine PR is merged first and removed waiting for Godot PRs that can't be merged until an engine PR is merged first labels Mar 11, 2024
Copy link
Collaborator

@dsnopek dsnopek left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! The Godot PR has been merged and this looks good to me :-)

@dsnopek
Copy link
Collaborator

dsnopek commented Apr 8, 2024

Cherry-picked for 4.1 in PR #1411

@dsnopek
Copy link
Collaborator

dsnopek commented Apr 8, 2024

Cherry-picked for 4.2 in PR #1410

@Repiteo Repiteo deleted the class-to-typename branch April 10, 2024 18:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement This is an enhancement on the current functionality

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants