bug/25872 #26

Merged
roberto.cirillo merged 12 commits from bug/25872 into master 2024-04-03 11:18:15 +02:00
1 changed files with 1 additions and 1 deletions
Showing only changes of commit 60e3ab5e5f - Show all commits

View File

@ -72,7 +72,7 @@
<profile>
<id>disable-java8-doclint</id>
<activation>
<jdk>[1.8,)</jdk>
<jdk>[1.8,17)</jdk>
</activation>
<properties>
<javadoc.opts>-Xdoclint:none</javadoc.opts>