bump: edu_sharing-super-pom to 13

edu-sharing · Dec 16, 2022 · d01660d · d01660d
1 parent 07fe991
commit d01660d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.edu_sharing</groupId>
     <artifactId>edu_sharing-super-pom</artifactId>
-    <version>develop-SNAPSHOT</version>
+    <version>13</version>
     <relativePath/>
   </parent>