From f1d757edc3ced84b5963be64f43d1715108d5c18 Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Sun, 1 Oct 2023 10:30:02 +0000 Subject: [PATCH] Update optional from develop --- libs/optional | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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