Automated updates to property typings#842

Merged

Rinn merged 1 commit intomainfrom

automatic-property-type-updates

Jan 4, 2026

Commits on Jan 3, 2026

Update property types automatically

gausie
authored and
github-actions[bot]
committed