From 7acbd5de4aa6faeb5f9c53ecd53253f010b369d6 Mon Sep 17 00:00:00 2001
From: Jens Pelzetter <jens@jp-digital.de>
Date: Mon, 22 Jun 2020 10:53:04 +0200
Subject: [PATCH] Updated maven-pmd-plugin to 3.13.0

Former-commit-id: 89c0e0ab80147dff4abda7821737b07871605b1b
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 9667841fc..049c611d6 100644
--- a/pom.xml
+++ b/pom.xml
@@ -200,7 +200,7 @@
                 <plugin>
                     <groupId>org.apache.maven.plugins</groupId>
                     <artifactId>maven-pmd-plugin</artifactId>
-                    <version>3.11.0</version>
+                    <version>3.13.0</version>
                     <configuration>
                         <linkXref>true</linkXref>
                         <sourceEncoding>utf-8</sourceEncoding>