From 68824e3a402be09c445b7b3bb7abe1ee714853a9 Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Thu, 8 Nov 2018 18:00:05 +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 29b2dae630..545fd9a72f 160000 --- a/libs/optional +++ b/libs/optional @@ -1 +1 @@ -Subproject commit 29b2dae63027b22076fef0580bef3603a3c47a2a +Subproject commit 545fd9a72fada662d590692c9b0f13031b500585