Skip to content

Update .idea/ and README to use JDK 17 instead of 15

Nico requested to merge 126-jdk-17 into main

Fixes #126 (closed).

Merge request reports