From f01656c586a38040d309b757da8e591d8c01439d Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Thu, 19 Dec 2019 23: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 4c863f5bf8..010ee00604 160000 --- a/libs/optional +++ b/libs/optional @@ -1 +1 @@ -Subproject commit 4c863f5bf8d606c313be41f87b89144bafdb5ac3 +Subproject commit 010ee006040c19239af9d6ae7cfab4a2ac0279c7