From 4dcfd788b79dac98ec804d534d5f4e1f6f3e9235 Mon Sep 17 00:00:00 2001
From: Niko Ehrenfeuchter <nikolaus.ehrenfeuchter@unibas.ch>
Date: Tue, 27 Mar 2018 17:55:22 +0200
Subject: [PATCH] Add license URL to POM

---
 pom.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 464aeb5..2277779 100644
--- a/pom.xml
+++ b/pom.xml
@@ -23,7 +23,8 @@
 	</organization>
 	<licenses>
 		<license>
-			<name>GNU General Public License (GPL) v3</name>
+			<name>GNU General Public License (GPL) v3+</name>
+			<url>https://www.gnu.org/licenses/gpl.html</url>
 			<distribution>repo</distribution>
 		</license>
 	</licenses>
-- 
GitLab