From 7fd5a9139be7283fc0e93d393bd3f9b5572672dd Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Sun, 1 Oct 2023 09:45: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 2f8d019f52..0d073750c6 160000 --- a/libs/optional +++ b/libs/optional @@ -1 +1 @@ -Subproject commit 2f8d019f523ed8dd098afe02c1617bfb3560165e +Subproject commit 0d073750c6187cca9718d5ba92d794756d5bea8c