Skip to content

[CLEANUP] Remove redundant type annotations in Property#842

Merged
JakeQZ merged 1 commit intomainfrom
cleanup/redundant-type-annotations-property
Jan 28, 2025
Merged

[CLEANUP] Remove redundant type annotations in `Property`#842
JakeQZ merged 1 commit intomainfrom
cleanup/redundant-type-annotations-property

Commits

Commits on Jan 28, 2025