Fix merge mistake

jenkinsci · Oct 6, 2023 · 7ae3afe · 7ae3afe
1 parent 71bee6b
commit 7ae3afe
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pom.xml b/pom.xml
@@ -35,6 +35,7 @@
         <gitHubRepo>jenkinsci/clover-plugin</gitHubRepo>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
         <jenkins.version>2.387.3</jenkins.version>
+        <clover.version>4.5.0</clover.version>
     </properties>
 
     <dependencyManagement>