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

Stop including including org.eclipse.jdt.annotation_v1 #118

Merged

Conversation

stephan-herrmann
Copy link
Contributor

This concludes the move of eclipse-jdt/eclipse.jdt.core#3029 and eclipse-jdt/eclipse.jdt.ui#1712 by which are stopping to ship two versions of org.eclipse.jdt.annotation.

@stephan-herrmann
Copy link
Contributor Author

It seems we don't have a full-blown PR build here. So perhaps someone may want to review? @akurtakov or @iloveeclipse ?

@iloveeclipse
Copy link
Member

What should we review? If that thing is not needed by JDT anymore, it is OK not to include it.
Just to be safe: PDE doesn't use it either?

@stephan-herrmann
Copy link
Contributor Author

What should we review? If that thing is not needed by JDT anymore, it is OK not to include it. Just to be safe: PDE doesn't use it either?

Good question about PDE :) -- but I don't see any such dependency there either.

@stephan-herrmann stephan-herrmann merged commit 543b7fe into eclipse-jdt:master Oct 17, 2024
3 checks passed
@stephan-herrmann stephan-herrmann deleted the noMoreAnnotationV1 branch October 17, 2024 19:00
akurtakov added a commit to akurtakov/eclipse.jdt.core that referenced this pull request Oct 18, 2024
Ensure that o.e.jdt.annotations 1.x is not picked by accident when there
is unversioned require (like
eclipse-jdt/eclipse.jdt#118 ) as it will no
longer be in the reactor.
stephan-herrmann pushed a commit to eclipse-jdt/eclipse.jdt.core that referenced this pull request Oct 18, 2024
Ensure that o.e.jdt.annotations 1.x is not picked by accident when there
is unversioned require (like
eclipse-jdt/eclipse.jdt#118 ) as it will no
longer be in the reactor.
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.

2 participants