Skip to content

Remove obsolete type-casting#6241

Merged
BurntimeX merged 1 commit into6.2from
6.2-obsolete-type-casting
Mar 12, 2025
Merged

Remove obsolete type-casting#6241
BurntimeX merged 1 commit into6.2from
6.2-obsolete-type-casting

Conversation

@BurntimeX
Copy link
Copy Markdown
Member

No description provided.

@BurntimeX BurntimeX merged commit 29be8b0 into 6.2 Mar 12, 2025
8 checks passed
@BurntimeX BurntimeX deleted the 6.2-obsolete-type-casting branch March 12, 2025 11:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants