Merge branch 'java_migration' into 'master'
Migration to OpenJDK 11, solves #218 #217 #195 #210 #209 Closes #209 See merge request !47
.dummy
deleted
100644 → 0
Guideline for Java 11.txt
0 → 100644
9.2.2023: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.
Migration to OpenJDK 11, solves #218 #217 #195 #210 #209 Closes #209 See merge request !47