diff --git a/core/src/main/resources/mappings b/core/src/main/resources/mappings
index 830085e37..93f207e7e 160000
--- a/core/src/main/resources/mappings
+++ b/core/src/main/resources/mappings
@@ -1 +1 @@
-Subproject commit 830085e37e0053c9d6116bcad37cafcba83aded5
+Subproject commit 93f207e7e9d73f58a7c8902f7deda9dcb0524c8e