diff --git a/external/oasis-core b/external/oasis-core index ca29d1f104..c9a4b8e6ab 160000 --- a/external/oasis-core +++ b/external/oasis-core @@ -1 +1 @@ -Subproject commit ca29d1f104bc4b0faec432f2bcd6d56c79df547a +Subproject commit c9a4b8e6abe7c7272f45ea57eef4dc52b5042791