From d11a075fa24f2fa4f9feb3f5f655fad7e151ae01 Mon Sep 17 00:00:00 2001
From: Michael Bayne <mdb@samskivert.com>
Date: Mon, 29 Jul 2019 09:23:19 -0700
Subject: [PATCH] Bump Mobi RoboVM version to 2.3.7.

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index c9605603..c10e5ccd 100644
--- a/pom.xml
+++ b/pom.xml
@@ -61,7 +61,7 @@
     <jbox2d.version>2.2.1.1</jbox2d.version>
     <lwjgl.version>3.1.6</lwjgl.version>
     <lwjgl2.version>2.9.3</lwjgl2.version>
-    <robovm.version>2.3.6</robovm.version>
+    <robovm.version>2.3.7</robovm.version>
     <!--
       GWT log levels:
       ERROR, WARN, INFO, TRACE, DEBUG, SPAM, or ALL