Skip to content

Conversation

@correctmost
Copy link
Contributor

PR Description:

I verified that mypy and Pyright do not report any new warnings with this change.

@correctmost correctmost requested a review from Torxed as a code owner April 9, 2025 11:42
@Torxed Torxed merged commit a9fd14f into archlinux:master Apr 9, 2025
8 checks passed
@correctmost correctmost deleted the cm/remove-unnecessary-hints branch April 9, 2025 12:19
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.

2 participants