From b0d55d434d7984cd5b984153cf5c10c754e0e9c9 Mon Sep 17 00:00:00 2001
From: NotMyFault <mc.cache@web.de>
Date: Tue, 3 Nov 2020 21:14:07 +0100
Subject: [PATCH] 5.13.9

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

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