Stephan Schroevers c03ead9e5d Upgrade JDKs used by GitHub Actions builds (#780) ...

Summary of changes:
- Use JDK 11.0.20 instead of 11.0.19.
- Use JDK 17.0.8 instead of 17.0.7.
- Use JDK 20.0.2 instead of 20.0.1.

See:
- https://www.oracle.com/java/technologies/javase/11-0-20-relnotes.html
- https://www.oracle.com/java/technologies/javase/17-0-8-relnotes.html
- https://www.oracle.com/java/technologies/javase/20-0-2-relnotes.html

2023-10-04 11:22:16 +02:00

..

bug_report.md

Upgrade JDKs used by GitHub Actions builds (#780)

2023-10-04 11:22:16 +02:00

feature_request.md

Drop indentation in feature request issue template (#403)

2022-12-09 08:55:12 +01:00