From 49c648e5611d0ac2babf9c7f94caf305eaf82a15 Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Tue, 23 Apr 2019 20:01:08 +0000 Subject: [PATCH] Update functional from develop --- libs/functional | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libs/functional b/libs/functional index 39de410228..96b71fef7e 160000 --- a/libs/functional +++ b/libs/functional @@ -1 +1 @@ -Subproject commit 39de410228ccd7cddc5aceb11abcf8ff9a7d0bba +Subproject commit 96b71fef7ed7daf16bdc9e3be1e433bb129fc642