]> source.dussan.org Git - jgit.git/commitdiff
Upgrade maven-pmd-plugin to 3.12.0 36/140936/3
authorDavid Pursehouse <david.pursehouse@gmail.com>
Mon, 22 Apr 2019 10:43:02 +0000 (19:43 +0900)
committerMatthias Sohn <matthias.sohn@sap.com>
Sun, 28 Apr 2019 22:40:46 +0000 (00:40 +0200)
Change-Id: I5ae0f0573aae3da3789fecdad494a2dd243e780b
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
pom.xml

diff --git a/pom.xml b/pom.xml
index 75e1f3564d0201124572b2c588ffb9b2d56d579d..74d8e122827f3409225457cf27b90d7b0ecd35a0 100644 (file)
--- a/pom.xml
+++ b/pom.xml
         <plugin>
           <groupId>org.apache.maven.plugins</groupId>
           <artifactId>maven-pmd-plugin</artifactId>
-          <version>3.11.0</version>
+          <version>3.12.0</version>
           <configuration>
             <sourceEncoding>utf-8</sourceEncoding>
             <minimumTokens>100</minimumTokens>