diff --git a/libs/optional b/libs/optional index 9ed20cb085..4c863f5bf8 160000 --- a/libs/optional +++ b/libs/optional @@ -1 +1 @@ -Subproject commit 9ed20cb0854120f76d4ccc0f9821c38553574f7e +Subproject commit 4c863f5bf8d606c313be41f87b89144bafdb5ac3