diff --git a/libs/optional b/libs/optional index c57de34e67..bf58a919df 160000 --- a/libs/optional +++ b/libs/optional @@ -1 +1 @@ -Subproject commit c57de34e67081907cedd3401241317a63929e1bf +Subproject commit bf58a919dfd7abe0d79ad802a4c93791a05aebd5