From db00b7d598380fe2f8773ba4ee1e3a9231cc6ca3 Mon Sep 17 00:00:00 2001
From: raoulvdberge <raoulvdberge@gmail.com>
Date: Sun, 7 Feb 2021 22:30:58 +0100
Subject: [PATCH] Bump to 1.9.13

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 53df1b6f4..54c8c60c5 100755
--- a/build.gradle
+++ b/build.gradle
@@ -40,7 +40,7 @@ pitest {
     junit5PluginVersion = "0.12"
 }
 
-version = '1.9.12'
+version = '1.9.13'
 def env = System.getenv()
 if (env.BUILD_NUMBER) {
     version = version + "+" + "${env.BUILD_NUMBER}"