From bc49b07d389a334ef6e8ea913abed52e0f79cf55 Mon Sep 17 00:00:00 2001
From: Julian Valentin <julian.valentin@ipvs.uni-stuttgart.de>
Date: Wed, 25 Sep 2019 16:26:03 +0200
Subject: [PATCH] Bump to 4.6.12

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

diff --git a/build.gradle b/build.gradle
index 39ed0bed..b1652f87 100644
--- a/build.gradle
+++ b/build.gradle
@@ -5,7 +5,7 @@ plugins {
 }
 
 group 'valentjn'
-version '4.6.11'
+version '4.6.12'
 
 idea {
   module {