Skip to content

Change 'dict' annotations to 'Mapping'; do not require string annotations from users#67

Merged
hmgaudecker merged 8 commits intomainfrom
mapping-proxy-input
Jan 23, 2026
Merged

Change 'dict' annotations to 'Mapping'; do not require string annotations from users#67
hmgaudecker merged 8 commits intomainfrom
mapping-proxy-input

Commits

Commits on Jan 17, 2026

Commits on Jan 18, 2026

Commits on Jan 23, 2026