From 5a05c4e3cd06e7e80bcff2df9676b2b1d09f9c78 Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Sun, 15 Apr 2018 21:45:08 +0000 Subject: [PATCH] Update functional from master --- libs/functional | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libs/functional b/libs/functional index ce40e739b6..7516442815 160000 --- a/libs/functional +++ b/libs/functional @@ -1 +1 @@ -Subproject commit ce40e739b6b9d951d0668186f711f84872293e65 +Subproject commit 7516442815900430cc9c4a6190354e11bcbe72dd