-
Notifications
You must be signed in to change notification settings - Fork 83
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
Bogus API errors reported in jdt.core workspace #1391
Comments
This is being discussed here : #1386 |
Workaround for now: close |
Should be fixed in the next nightly build. |
@iloveeclipse could you verify that this is fixed now? |
Yes, it's fixed after updating just now. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I am seeing seemingly bogus API errors about new APIs being added in jdt.core. API baseline is set to 4.33 RC2a and the code is from eclipse-jdt/eclipse.jdt.core#2887. None of the API changes the error is reporting has happened.
The text was updated successfully, but these errors were encountered: