diff --git a/libs/optional b/libs/optional index 08076e3964..5d5d1f46ba 160000 --- a/libs/optional +++ b/libs/optional @@ -1 +1 @@ -Subproject commit 08076e3964a77b025c6caa000d017af141e01932 +Subproject commit 5d5d1f46baac851c8ec0ca15059d3e773585a17e