Skip to content

Comments

Don't list the same annotation twice#1340

Open
mernst wants to merge 1 commit intogoogle:masterfrom
mernst:remove-duplicate-type-annotation
Open

Don't list the same annotation twice#1340
mernst wants to merge 1 commit intogoogle:masterfrom
mernst:remove-duplicate-type-annotation

Conversation

@mernst
Copy link
Contributor

@mernst mernst commented Feb 24, 2026

This was introduced via search-and-replace in d8216e8.

This was introduced via search-and-replace in d8216e8.
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