From dfd9841f52be288bb4b4609591fcff0cb6b361e8 Mon Sep 17 00:00:00 2001
From: Thomas Lenz <tlenz@iaik.tugraz.at>
Date: Tue, 6 Aug 2019 08:24:00 +0200
Subject: fix duplicated repo name

---
 pom.xml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'pom.xml')

diff --git a/pom.xml b/pom.xml
index bef5c174e..5b84a0805 100644
--- a/pom.xml
+++ b/pom.xml
@@ -219,6 +219,7 @@
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-jar-plugin</artifactId>
+                <version>3.1.2</version>
                 <configuration>
                     <archive>
                         <manifest>
-- 
cgit v1.2.3