diff --git a/.github/release.yml b/.github/release.yml
index 8e9956088d..73d3c65b63 100644
--- a/.github/release.yml
+++ b/.github/release.yml
@@ -14,15 +14,23 @@ changelog:
     - title: Breaking Changes 🗲
       labels:
         - "Breaking Change"
+        - "Breaks API"
     - title: Exciting New Features 🎉
       labels:
         - "Exciting New Feature"
+    - title: Features
+      labels:
+        - "Feature"
     - title: Enhancement
       labels:
         - "Enhancement"
     - title: Bug Fixes
       labels:
-        - "🐞 Bug"
+        - ":lady_beetle: Bug"
+        - "✋ Soundness"
+    - title: Dependencies
+      labels:
+        - dependencies
     - title: Other Changes
       labels:
         - "*"
diff --git a/build.gradle b/build.gradle
index d7745aa861..1198cb623c 100644
--- a/build.gradle
+++ b/build.gradle
@@ -46,7 +46,7 @@ static def getDate() {
 def build = System.env.BUILD_NUMBER == null ? "-dev" : "-${System.env.BUILD_NUMBER}"
 
 group = "org.key-project"
-version = "2.12.4$build"
+version = "2.13.0$build"
 
 subprojects {
     apply plugin: "java"