From d3c5377ee23e1a7b0c9643c95a1674eaf356080c Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Sat, 3 Nov 2018 01:30:16 +0000 Subject: [PATCH] Update interval from master --- libs/numeric/interval | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libs/numeric/interval b/libs/numeric/interval index 268c316586..476bfe884e 160000 --- a/libs/numeric/interval +++ b/libs/numeric/interval @@ -1 +1 @@ -Subproject commit 268c316586d970bad146340d21d747adfc370712 +Subproject commit 476bfe884e26a93b81d67d127cb0a1b8e70c0cd1