Skip to content

Fix/message pump app unknown type#6494

Open
matmaer wants to merge 2 commits intoTextualize:mainfrom
matmaer:fix/message-pump-app-unknown-type
Open

Fix/message pump app unknown type#6494
matmaer wants to merge 2 commits intoTextualize:mainfrom
matmaer:fix/message-pump-app-unknown-type

Conversation

@matmaer
Copy link
Copy Markdown

@matmaer matmaer commented Apr 16, 2026

Discussion link: #6485, one line change to help type checkers. (aka reduce complaining by type checkers)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant