Skip to content

Conversation

koperagen
Copy link
Collaborator

No description provided.

@koperagen koperagen requested a review from zaleslaw June 20, 2024 15:36
@koperagen koperagen self-assigned this Jun 20, 2024
@koperagen koperagen added the enhancement New feature or request label Jun 20, 2024
@koperagen koperagen added this to the 0.14.0 milestone Jun 20, 2024
Copy link
Contributor

Generated sources will be updated after merging this PR.
Please inspect the changes in here.

@Jolanrensen Jolanrensen self-requested a review June 21, 2024 12:03
@koperagen koperagen merged commit 35d56dd into master Jun 21, 2024
@zaleslaw zaleslaw removed their request for review July 25, 2024 10:06
@koperagen koperagen deleted the castTo branch August 26, 2024 13:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants