Skip to content

Applying Java 17 refactorings#3252

Merged
wadoon merged 7 commits into
mainfrom
weigl/java17-cleanup
Aug 22, 2023
Merged

Applying Java 17 refactorings#3252
wadoon merged 7 commits into
mainfrom
weigl/java17-cleanup

Commits

Commits on Aug 21, 2023