Merge remote-tracking branch 'origin/jetty-10.0.x' into jetty-11.0.x

This commit is contained in:
Joakim Erdfelt 2021-01-30 10:13:20 -06:00
commit ed77b06165
No known key found for this signature in database
GPG Key ID: 2D0E1FB8FE4B68B4
1 changed files with 4 additions and 0 deletions

View File

@ -1359,9 +1359,11 @@
</profile>
<profile>
<id>eclipse-release</id>
<!-- Disabled Temporarily: see Issue #5942
<modules>
<module>javadoc</module>
</modules>
-->
<build>
<plugins>
<plugin>
@ -1434,9 +1436,11 @@
<spotbugs.skip>false</spotbugs.skip>
<spotbugs.onlyAnalyze>org.eclipse.jetty.*</spotbugs.onlyAnalyze>
</properties>
<!-- Disabled Temporarily: see Issue #5942
<modules>
<module>javadoc</module>
</modules>
-->
<build>
<pluginManagement>
<plugins>