This switches the release to 12, which fixes a javadoc issue when building with -source 8 on JDK 12: https://bugs.openjdk.java.net/browse/JDK-8212233master
parent
7509f1d24d
commit
be4945b8cb
Loading…
Reference in new issue