From 8e6ecf62bbd278d49348a25ca224cf573739d158 Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Tue, 20 Oct 2015 18:00:08 -0400 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 7396e4051b..4b3077dea3 160000 --- a/libs/optional +++ b/libs/optional @@ -1 +1 @@ -Subproject commit 7396e4051b3497e035c284cc27912d0318f85e93 +Subproject commit 4b3077dea3f5b5cc5bc15d3e017e84ddabc5aee7