diff --git a/external/oasis-core b/external/oasis-core index c4cdfca1d4..87af46dbd1 160000 --- a/external/oasis-core +++ b/external/oasis-core @@ -1 +1 @@ -Subproject commit c4cdfca1d4a17b67181a2911dcc07b18a31a65cb +Subproject commit 87af46dbd10615198aec3b7d4481cdf440b6e0d3