diff --git a/core/src/main/resources/mappings b/core/src/main/resources/mappings index e8089e117..8707dd144 160000 --- a/core/src/main/resources/mappings +++ b/core/src/main/resources/mappings @@ -1 +1 @@ -Subproject commit e8089e117605e60a5ced120926c49fae7617c665 +Subproject commit 8707dd144b20632f4a2f4b5497d8e5fb211e6c93