From 85aef9733d1834fe9409b922e2f2cdeed964c563 Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Sat, 30 Jul 2022 17:00:02 +0000 Subject: [PATCH] Update optional from master --- libs/optional | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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