From 1f25c9d5cac2bec76903e1810116db1d22d51b18 Mon Sep 17 00:00:00 2001
From: Pedro Duque Vieira <pedro.duquevieira@gmail.com>
Date: Sun, 24 Mar 2019 17:23:07 +0000
Subject: [PATCH] JMetro: Update JMetro version in gradle script

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

diff --git a/jmetro/build.gradle b/jmetro/build.gradle
index 263e806b..2094ff57 100644
--- a/jmetro/build.gradle
+++ b/jmetro/build.gradle
@@ -6,7 +6,7 @@ plugins {
 
 sourceCompatibility = '1.8'
 
-version = '5.2'
+version = '5.3'
 def versionDescription = 'JMetro'