diff --git a/libs/optional b/libs/optional index 16a8ccbecc..1b7002f663 160000 --- a/libs/optional +++ b/libs/optional @@ -1 +1 @@ -Subproject commit 16a8ccbecc3ab40027551715a2d235b74d324ae0 +Subproject commit 1b7002f663d1e22bf8da545e7859c5107706c840