From 73acc511f555c5027612c0fb22c679b0e643df92 Mon Sep 17 00:00:00 2001
From: Ubuntu <ubuntu@erdos.dev.unchained-capital.com>
Date: Wed, 17 Oct 2018 22:47:03 +0000
Subject: [PATCH] Point external/range-v3 submodule to relevant extant commit

---
 external/range-v3 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/external/range-v3 b/external/range-v3
index 7b02cd2e..2258fd18 160000
--- a/external/range-v3
+++ b/external/range-v3
@@ -1 +1 @@
-Subproject commit 7b02cd2ea201021f82f2c4bcfe2106f9c3c92bb0
+Subproject commit 2258fd1870b42a32810aee3358834ecf6e1ea80a