chore: prepare release for gravitee-definition

gravitee-io/issues#5859
gravitee-io · Jul 15, 2021 · 95c00eb · 95c00eb
1 parent 0b1fa12
commit 95c00eb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/release.json b/release.json
@@ -12,7 +12,7 @@
         },
         {
             "name": "gravitee-definition",
-            "version": "1.25.0"
+            "version": "1.25.1-SNAPSHOT"
         },
         {
             "name": "gravitee-api-management",