diff --git a/external/oasis-core b/external/oasis-core index c4cdfca1d4..d13337b2de 160000 --- a/external/oasis-core +++ b/external/oasis-core @@ -1 +1 @@ -Subproject commit c4cdfca1d4a17b67181a2911dcc07b18a31a65cb +Subproject commit d13337b2deed1b741f9e751b20cedef9e6833c3a