From 80e7879e9fbdeb18bb9f4b788d42a19d6d79357b Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Wed, 8 Oct 2014 17:00:07 -0400 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 953e7de70b..4c06d708d6 160000 --- a/libs/optional +++ b/libs/optional @@ -1 +1 @@ -Subproject commit 953e7de70b47af31b5f9e155816fe2d68b169701 +Subproject commit 4c06d708d605219ee48944f431d1bc28aa3cc7c2