Skip to content

Switched to JSpecify for annotations#12

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

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

Commits

Commits on Feb 26, 2026