diff --git a/libs/optional b/libs/optional index 7396e4051b..4b3077dea3 160000 --- a/libs/optional +++ b/libs/optional @@ -1 +1 @@ -Subproject commit 7396e4051b3497e035c284cc27912d0318f85e93 +Subproject commit 4b3077dea3f5b5cc5bc15d3e017e84ddabc5aee7