Skip to content

Update dependency org.jspecify:jspecify to v1.0.1 - #538

Merged
rob93c merged 1 commit into
mainfrom
renovate/org.jspecify-jspecify-1.x
Aug 7, 2026
Merged

Update dependency org.jspecify:jspecify to v1.0.1#538
rob93c merged 1 commit into
mainfrom
renovate/org.jspecify-jspecify-1.x

Conversation

@renovate

@renovate renovate Bot commented Jul 30, 2026

Copy link
Copy Markdown
Contributor

This PR contains the following updates:

Package Change Age Confidence
org.jspecify:jspecify (source) 1.0.01.0.1 age confidence

Release Notes

jspecify/jspecify (org.jspecify:jspecify)

v1.0.1: 1.0.1

JSpecify 1.0.1 makes small changes to documentation and build setup but no semantic changes.

Artifacts
Changes since version 1.0.0
  • The JSpecify module-info.class is now present at the root of the jar instead of under a multi-release root. This prevents the jar from containing a file at META-INF/versions/9/OSGI-INF/MANIFEST.MF, which was causing trouble for some users, particularly on Android.
  • The JSpecify module-info.class now contains its version number.
  • We have made various improvements to our Javadoc. While the latest docs are always available at jspecify.dev/docs/api, this release makes our improvements visible in the source files in your IDE.

Configuration

📅 Schedule: (UTC)

  • Branch creation
    • At any time (no schedule defined)
  • Automerge
    • At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

@renovate renovate Bot added the dependencies Pull requests that update a dependency file label Jul 30, 2026
@rob93c
rob93c merged commit 30f6e0e into main Aug 7, 2026
7 checks passed
@rob93c
rob93c deleted the renovate/org.jspecify-jspecify-1.x branch August 7, 2026 19:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant