Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump revapi-java from 0.22.0 to 0.22.1 #109

Merged
merged 1 commit into from
Nov 11, 2020

Conversation

dependabot[bot]
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Nov 6, 2020

Bumps revapi-java from 0.22.0 to 0.22.1.

Commits
  • 9eb4d61 Release revapi-java-0.22.1
  • a26cdab Setting revapi-ant-task to version 0.10.3-SNAPSHOT
  • 81bc651 Release revapi-ant-task-0.10.2
  • 8b2fe60 Setting revapi-java-spi to version 0.21.2-SNAPSHOT
  • b200bd9 Release revapi-java-spi-0.21.1
  • 5c9cb81 Setting revapi-basic-features to version 0.10.3-SNAPSHOT
  • 5c1a2f6 Release revapi-basic-features-0.10.2
  • e523109 Fixes #211.
  • d344b01 Fixes #209. Unknown criticality in the differences config is now an error.
  • 2bb41df The CLI downloadable is called ...-standalone.zip
  • Additional commits viewable in compare view

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually

@dependabot dependabot bot added dependencies Update of dependencies java Pull requests that update Maven Java dependencies labels Nov 6, 2020
@uhafner uhafner merged commit 7a57571 into master Nov 11, 2020
@uhafner uhafner deleted the dependabot/maven/org.revapi-revapi-java-0.22.1 branch November 11, 2020 16:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Update of dependencies java Pull requests that update Maven Java dependencies
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant