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