Skip to content

Conversation

@hewillk
Copy link
Contributor

@hewillk hewillk commented Dec 6, 2024

This is consistent with "range type" elsewhere.

@jensmaurer jensmaurer merged commit 45c43a3 into cplusplus:main Dec 6, 2024
2 checks passed
@hewillk hewillk deleted the main-range branch December 6, 2024 17:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants