From 89f3742479f0f819a961913a1e5e3181441f139b Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Tue, 28 Feb 2017 22:15:04 +0000 Subject: [PATCH] Update interval from develop --- libs/numeric/interval | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libs/numeric/interval b/libs/numeric/interval index de48274d0d..5dad1782f3 160000 --- a/libs/numeric/interval +++ b/libs/numeric/interval @@ -1 +1 @@ -Subproject commit de48274d0dc3151effcd592c64347717efd86586 +Subproject commit 5dad1782f3bfe65f37cf8d14ab1e62583902eb31