Skip to content

Try to reduce overspecialization of annotations#3037

Merged
wsmoses merged 4 commits intomainfrom
ksh/annots
Apr 30, 2026
Merged

Try to reduce overspecialization of annotations#3037
wsmoses merged 4 commits intomainfrom
ksh/annots

Commits

Commits on Apr 29, 2026