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
6693: Eclipse projects core/org.openjdk.jmc.jdp* should have the correct JRE target level #51
Conversation
…ect JRE target level
|
This is fine, though temporary - we will likely move all of core up to 8 soon enough. ;)
@RealCLanger This change now passes all automated pre-integration checks. When the change also fulfills all project specific requirements, type
Since the source branch of this PR was last updated there has been 1 commit pushed to the As you do not have Committer status in this project, an existing Committer must agree to sponsor your change. Possible candidates are the reviewers of this PR (@thegreystone) but any other Committer may sponsor as well.
|
I know... but with skara it's so easy to get even such minor changes done :) Thx for the review. |
/integrate |
@RealCLanger |
/sponsor |
@thegreystone @RealCLanger The following commits have been pushed to master since your change was applied:
Your commit was automatically rebased without conflicts. Pushed as commit ef91b05. |
Mailing list message from Marcus Hirt on jmc-dev: Changeset: ef91b05 6693: Eclipse projects core/org.openjdk.jmc.jdp* should have the correct JRE target level Reviewed-by: hirt ! core/org.openjdk.jmc.jdp/.classpath |
Progress
Issue
JMC-6693: Eclipse projects core/org.openjdk.jmc.jdp* should have the correct JRE target level
Approvers