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

Replace annotations:2.0.1 with jsr305:3.0.0. #69

Merged
merged 1 commit into from
Jul 3, 2015
Merged

Replace annotations:2.0.1 with jsr305:3.0.0. #69

merged 1 commit into from
Jul 3, 2015

Conversation

Stephan202
Copy link
Contributor

The latter is new and smaller.

Alternatively, consider marking the existing dependency provided or optional (that's safe).

@Stephan202
Copy link
Contributor Author

@ronmamo, any thoughts on this?

(Just went over my list of open PRs and found this one. I rebased the branch.)

@martin-g
Copy link

martin-g commented Jul 3, 2015

The change looks good 👍

ronmamo added a commit that referenced this pull request Jul 3, 2015
Replace annotations:2.0.1 with jsr305:3.0.0.
@ronmamo ronmamo merged commit 0bf58b8 into ronmamo:master Jul 3, 2015
@ronmamo
Copy link
Owner

ronmamo commented Jul 3, 2015

cool

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants