diff --git a/libs/optional b/libs/optional index 82acdb9d17..d7c17921ec 160000 --- a/libs/optional +++ b/libs/optional @@ -1 +1 @@ -Subproject commit 82acdb9d172e160bae2a5a8a923134565b7d8a4e +Subproject commit d7c17921ec5cfedb779278a183a51d250d4fffe7