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.

Sign up for GitHub

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

Jump to bottom

Restore JDK 8 runtime compatibility, fixes #888 #893

Merged

gnodet merged 2 commits into jline:master from gnodet:jdk8-compat-with-release-flag

Oct 31, 2023

Member

gnodet commented Oct 31, 2023 •

edited

Loading

Fixes #888

gnodet added 2 commits

October 31, 2023 23:45


          Restore JDK 8 runtime compatibility, fixes jline#888

9c8bc60


          Rename property to java.release.version

bac47f6

gnodet mentioned this pull request

Restore JDK 8 runtime compatibility, fixes #888 #890

Closed

gnodet merged commit 4c4dbdc into jline:master

3 checks passed

gnodet deleted the jdk8-compat-with-release-flag branch

October 31, 2023 23:14

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet