Skip to content

Conversation

@JakubVanek
Copy link
Contributor

See individual commits for details. This is mostly about switching JDK14 to GA mode (14.0.1 is up in the Updates repository).

@jabrena jabrena merged commit 211216c into ev3dev-lang-java:master May 25, 2020
@JakubVanek JakubVanek deleted the feature/jdk14-ga branch May 25, 2020 20:18
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.

2 participants