Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

chore(docs): describe official support of Java 17 #1252

Merged
merged 2 commits into from
Feb 12, 2023

Conversation

bossenti
Copy link
Contributor

Purpose

As an outcome of #910 we decided to explicitly support JDK 17.
This PR updates the README accordingly.

Remarks

PR introduces (a) breaking change(s): no
PR introduces (a) deprecation(s): no

@github-actions github-actions bot added the documentation Everything related to documentation label Feb 11, 2023
@bossenti bossenti merged commit 238c7cd into dev Feb 12, 2023
@bossenti bossenti deleted the chore/explicit-support-jdk-17 branch February 12, 2023 06:38
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
documentation Everything related to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants