This repository was archived by the owner on May 14, 2026. It is now read-only.

[not for review yet] deps: changing jsr305 to jspecify#3191

Draft

suztomo wants to merge 13 commits into

mainfrom

jspecify_annotations

Commits on Sep 11, 2024

deps: changing jsr305 to jspecify
suztomo
committed

Commits on Sep 12, 2024

Commits on Oct 1, 2024

Merge remote-tracking branch 'origin/main' into jspecify_annotations
suztomo
committed

Commits on Oct 14, 2024