Skip to content

Comments

Don't list the same annotation twice#1340

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

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

Commits

Commits on Feb 24, 2026