From cb6f22ce1a2d04d411021165339963a6f591216a Mon Sep 17 00:00:00 2001
From: Pedro Duque Vieira <pedro.duquevieira@pixelduke.com>
Date: Tue, 13 Nov 2018 23:04:06 +0000
Subject: [PATCH] JMetro: Update JMetro version in Gradle script to 4.8.5

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

diff --git a/jmetro/build.gradle b/jmetro/build.gradle
index 726bc22d..aa4c23c4 100644
--- a/jmetro/build.gradle
+++ b/jmetro/build.gradle
@@ -6,7 +6,7 @@ plugins {
 
 sourceCompatibility = '1.8'
 
-version = '4.8'
+version = '4.8.5'
 def versionDescription = 'JMetro'