tree 23b7e66f596ae9149c9ad7c9c59cd48d26fc9a79
parent f9673ea830bb56cbf324881b7dbb10afa6b1dae3
author Andreas Veithen <andreas.veithen@gmail.com> 1650795393 +0000
committer Andreas Veithen <andreas.veithen@gmail.com> 1650795393 +0000

Support building with Java 18

Also update the list of Java versions for the Github Actions build so
that it includes the current LTS versions and the latest version (i.e.
18).