Eclipse
/
jetty.project
mirror of https://github.com/jetty/jetty.project.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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

This commit is contained in:
Joakim Erdfelt 2022-12-05 13:47:54 -06:00
parent 87c52707ef 41c0fae44f
commit 5c8d7ad013
No known key found for this signature in database
GPG Key ID: 2D0E1FB8FE4B68B4
1 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
pom.xml
View File

@ -2473,6 +2473,25 @@
<spotbugs.skip>true</spotbugs.skip>
</properties>
</profile>
<profile>
<id>jdk19</id>
<activation>
<jdk>19</jdk>
</activation>
<build>
<pluginManagement>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-invoker-plugin</artifactId>
<configuration>
<skipInvocation>true</skipInvocation>
</configuration>
</plugin>
</plugins>
</pluginManagement>
</build>
</profile>
</profiles>
<issueManagement>