Skip to content

Conversation

@SomeoneToIgnore
Copy link
Contributor

Follow-up of #40183
Closes #24798

Release Notes:

  • N/A

@cla-bot cla-bot bot added the cla-signed The user has signed the Contributor License Agreement label Oct 24, 2025
@SomeoneToIgnore SomeoneToIgnore enabled auto-merge (squash) October 24, 2025 22:50
@SomeoneToIgnore SomeoneToIgnore merged commit 1dffdea into main Oct 24, 2025
21 checks passed
@SomeoneToIgnore SomeoneToIgnore deleted the kb/doubled-hints branch October 24, 2025 23:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla-signed The user has signed the Contributor License Agreement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Doubled-up type-hints

2 participants