diff --git a/external/oasis-core b/external/oasis-core index cbd96dfa7a..ee4ccfd2d6 160000 --- a/external/oasis-core +++ b/external/oasis-core @@ -1 +1 @@ -Subproject commit cbd96dfa7a26c7ba425b3cd132dc2b5c0ef846ba +Subproject commit ee4ccfd2d6c930df3f8f0534a6b58233a3d7b3b0