commit | ef215fbbdb5ae95de0821fa0cb6cab900fbf7292 | [log] [tgz] |
---|---|---|
author | Martin Desruisseaux <martin.desruisseaux@geomatys.com> | Mon Sep 16 16:56:06 2019 +0200 |
committer | Martin Desruisseaux <martin.desruisseaux@geomatys.com> | Mon Sep 16 18:42:15 2019 +0200 |
tree | 506a0d965a8454b3e6f259e97fae61b46f67ed97 | |
parent | 0dc29ec84010a688767d982e48de079a7cc7f648 [diff] |
Upgrade the build requirement from Java 10 to Java 11 (but keep the result executable on Java 8). This upgrade allows us to remove a hack for javadoc generation under Java 10.