Bump jenkins from 1.101 to 1.102 (#55)

jenkinsci · Jul 10, 2023 · 25dc92c · 25dc92c
1 parent 73a1c98
commit 25dc92c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.jenkins-ci</groupId>
     <artifactId>jenkins</artifactId>
-    <version>1.101</version>
+    <version>1.102</version>
     <relativePath />
   </parent>
 
@@ -35,6 +35,8 @@
   <properties>
     <changelist>999999-SNAPSHOT</changelist>
     <gitHubRepo>jenkinsci/jellydoc-maven-plugin</gitHubRepo>
+    <!-- TODO Remove when we start requiring Java 11. Note that we don't support Java 11 at all yet. -->
+    <incrementals-plugin.version>1.6</incrementals-plugin.version>
   </properties>
 
   <repositories>