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