diff --git a/libs/optional b/libs/optional
index 3038bdea4b..c809700d6a 160000
--- a/libs/optional
+++ b/libs/optional
@@ -1 +1 @@
-Subproject commit 3038bdea4ba0d4769c6198d45c8c82cf57294659
+Subproject commit c809700d6a5fdcbb39e1bf8e9df3433a1615ad02