Skip to content

Update pom dependencies and migrate to Java 17#35

Merged
JanWittler merged 9 commits intomainfrom update-parent-pomDec 8, 2022

Commits

Commits on Nov 28, 2022

Commits on Nov 29, 2022

Commits on Dec 6, 2022

Commits on Dec 8, 2022