Skip to content

Switched to JSpecify for annotations#12

Merged
zefir-git merged 1 commit into
masterfrom
jspecify
Feb 26, 2026
Merged

Switched to JSpecify for annotations#12
zefir-git merged 1 commit into
masterfrom
jspecify

Commits

Commits on Feb 26, 2026