diff --git a/libs/optional b/libs/optional index c60db27762..c1519884ed 160000 --- a/libs/optional +++ b/libs/optional @@ -1 +1 @@ -Subproject commit c60db27762ff9cc16529e069c3c15f2fa898f994 +Subproject commit c1519884edfca56db6364282aca745f647ffcb2b