diff --git a/core/src/main/stone b/core/src/main/stone index e733a5105..9d7703561 160000 --- a/core/src/main/stone +++ b/core/src/main/stone @@ -1 +1 @@ -Subproject commit e733a5105a817d9a93e5c0f16f39d467d3e2072c +Subproject commit 9d7703561746f31c9465a28b4f61db6831862950