Nassim Jahnke a2ddcae076 Merge branch 'master' into dev ... # Conflicts: # .github/workflows/gradle.yml		2024-01-24 17:51:31 +01:00
..
gradle.yml	Update JDK to 17, setup-java to v4 (#671)	2024-01-20 21:19:36 +01:00
publish.yml	Update JDK to 17, setup-java to v4 (#671)	2024-01-20 21:19:36 +01:00