Merge pull request #1782 from jplag/version-510

Increment JPlag revision to v5.1.0
jplag · May 23, 2024 · a8e6f99 · a8e6f99
2 parents 4f7c494 + 6036919
commit a8e6f99
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -86,7 +86,7 @@
         <emfatic.version>1.0.0</emfatic.version>
 
         <!-- The Revision of JPlag -->
-        <revision>5.1.0-SNAPSHOT</revision>
+        <revision>5.1.0</revision>
     </properties>
 
     <dependencyManagement>