Skip to content

[docs] Swap javadoc.io for jspecify.dev for JSpecify links#4251

Merged
chemicL merged 1 commit into
mainfrom
jspecify-javadoc-dev
May 11, 2026
Merged

[docs] Swap javadoc.io for jspecify.dev for JSpecify links#4251
chemicL merged 1 commit into
mainfrom
jspecify-javadoc-dev

Conversation

@chemicL

@chemicL chemicL commented May 11, 2026

Copy link
Copy Markdown
Member

No description provided.

Signed-off-by: Dariusz Jędrzejczyk <2554306+chemicL@users.noreply.github.com>
@chemicL chemicL added this to the 3.8.6 milestone May 11, 2026
@chemicL chemicL added the type/documentation A documentation update label May 11, 2026
@chemicL chemicL requested a review from a team as a code owner May 11, 2026 22:34
@chemicL chemicL merged commit e95bd1e into main May 11, 2026
11 checks passed
@chemicL chemicL deleted the jspecify-javadoc-dev branch June 5, 2026 16:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type/documentation A documentation update

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant