From: David Pursehouse <david.pursehouse@gmail.com>
Date: Mon, 22 Apr 2019 10:43:02 +0000 (+0900)
Subject: Upgrade maven-pmd-plugin to 3.12.0
X-Git-Tag: v5.4.0.201905081430-m2~10
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=8404757062a88ed92bef89292d981323364367a1;p=jgit.git

Upgrade maven-pmd-plugin to 3.12.0

Change-Id: I5ae0f0573aae3da3789fecdad494a2dd243e780b
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
---

diff --git a/pom.xml b/pom.xml
index 75e1f3564d..74d8e12282 100644
--- a/pom.xml
+++ b/pom.xml
@@ -328,7 +328,7 @@
         <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>