diff --git a/external/oasis-core b/external/oasis-core index de57b13959..c4d5b83622 160000 --- a/external/oasis-core +++ b/external/oasis-core @@ -1 +1 @@ -Subproject commit de57b13959839842495163302f3f59333f7288fc +Subproject commit c4d5b836221ccc5aeaf81abd2d1fdec8facd571c