From f21e7704c76deebae4c140c6beeb27c8b0ffb4b3 Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Mon, 30 Oct 2017 10:00:07 +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 fd23bdee08..7ed4507343 160000 --- a/libs/optional +++ b/libs/optional @@ -1 +1 @@ -Subproject commit fd23bdee08d88daf4f7065e42ceb356265f8a5d6 +Subproject commit 7ed4507343182a2a3d766c1bdf7e5b3fda829eb7