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