From 0495c985db781e6a092a7b27402f8e80b369639a Mon Sep 17 00:00:00 2001
From: raoulvdberge <raoulvdberge@gmail.com>
Date: Sun, 3 Jan 2021 19:01:37 +0100
Subject: [PATCH] Bump to 1.9.12

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

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