Set up JDK-13 build and drop jdk-12 (discussion on migraton to jdk11 for compilation) #7281

Closed

Closed

Set up JDK-13 build and drop jdk-12 (discussion on migraton to jdk11 for compilation)#7281

Labels

CIapprovedmiscellaneous

Milestone

opened

on Nov 25, 2019

Travis and appveyor already support Java 13, so we have to set up a build with it.

This is a prerequisite for #7103.

Metadata

Assignees

No one assigned

Labels

CIapprovedmiscellaneous

Type

No type

Projects

No projects

Milestone

8.28

Relationships

None yet

Development

No branches or pull requests