From 6e3ffe5038e165ad2c42ba9a5c181cd7b102739e Mon Sep 17 00:00:00 2001
From: DennisSoemers <d.soemers@gmail.com>
Date: Tue, 12 Dec 2023 16:00:14 +0100
Subject: [PATCH] updated java repo

---
 gym_microrts/microrts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gym_microrts/microrts b/gym_microrts/microrts
index 1b86c88e..12408d16 160000
--- a/gym_microrts/microrts
+++ b/gym_microrts/microrts
@@ -1 +1 @@
-Subproject commit 1b86c88ee89acc69b75d10228df1ad9ee308f2b0
+Subproject commit 12408d16eed812921e8f5d42b680855577397832