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

Upgrading to OpenJDK 17 #37

Merged
merged 10 commits into from
Jun 6, 2023
Merged

Conversation

z-sztrom
Copy link
Contributor

Applicable Issues

Description of the Change

Alternate Designs

Benefits

Possible Drawbacks

Sign-off

Developer's Certificate of Origin 1.1

By making a contribution to this project, I certify that:

(a) The contribution was created in whole or in part by me and I
have the right to submit it under the open source license
indicated in the file; or

(b) The contribution is based upon previous work that, to the best
of my knowledge, is covered under an appropriate open source
license and I have the right under that license to submit that
work with modifications, whether created in whole or in part
by me, under the same open source license (unless I am
permitted to submit under a different license), as indicated
in the file; or

(c) The contribution was provided directly to me by some other
person who certified (a), (b) or (c) and I have not modified
it.

(d) I understand and agree that this project and the contribution
are public and that a record of the contribution (including all
personal information I submit with it, including my sign-off) is
maintained indefinitely and may be redistributed consistent with
this project or the open source license(s) involved.

Signed-off-by:
Roman Szturc roman.szturc.ext@ericsson.com

@z-sztrom z-sztrom requested a review from jainadc9 May 31, 2023 13:26
Copy link
Contributor

@jainadc9 jainadc9 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please modify commit message to be meaningful .Switching to Openjdk17 or Upgrading remrem-parent to openjdk17

@z-sztrom z-sztrom marked this pull request as ready for review June 6, 2023 08:25
@jainadc9 jainadc9 changed the title Preparation for Open JDK 17 Upgrading to OpenJDK 17 Jun 6, 2023
@z-sztrom z-sztrom merged commit b901e64 into eiffel-community:master Jun 6, 2023
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