diff --git a/libs/optional b/libs/optional index fd23bdee08..7ed4507343 160000 --- a/libs/optional +++ b/libs/optional @@ -1 +1 @@ -Subproject commit fd23bdee08d88daf4f7065e42ceb356265f8a5d6 +Subproject commit 7ed4507343182a2a3d766c1bdf7e5b3fda829eb7