From fb050ac3da808273597d5ed1c5516d93e67afd18 Mon Sep 17 00:00:00 2001
From: NotMyFault <mc.cache@web.de>
Date: Thu, 9 Jul 2020 21:15:28 +0200
Subject: [PATCH] 5.12.5

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

diff --git a/build.gradle b/build.gradle
index fff3ba5eb..a0bae9c0c 100644
--- a/build.gradle
+++ b/build.gradle
@@ -30,7 +30,7 @@ ext {
     git = Grgit.open(dir: new File(rootDir.toString() + "/.git"))
 }
 
-def ver = "5.12.4"
+def ver = "5.12.5"
 def versuffix = ""
 ext {
     if (project.hasProperty("versionsuffix")) {