diff --git a/core/src/main/resources/mappings b/core/src/main/resources/mappings index cf6fdf31f..80fdfbf89 160000 --- a/core/src/main/resources/mappings +++ b/core/src/main/resources/mappings @@ -1 +1 @@ -Subproject commit cf6fdf31fe7c607d7fb3a4a42b86def45fe86385 +Subproject commit 80fdfbf89f586dbfbcf06152821adc7c1df88eab