Skip to content

Drop Java 8, make Java 11 default - #38

Merged
mkurz merged 1 commit into
mainfrom
java11
Sep 26, 2022
Merged

Drop Java 8, make Java 11 default#38
mkurz merged 1 commit into
mainfrom
java11

Commits

Commits on Sep 26, 2022