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