Skip to content
This repository has been archived by the owner on Jan 25, 2023. It is now read-only.

Clarification about end being exclusive is missing in some places #213

Closed
sdelatorrep opened this issue Oct 3, 2018 · 2 comments
Closed
Assignees
Labels
Milestone

Comments

@sdelatorrep
Copy link
Contributor

In PR #206, we added the clarification here and here but not here or here.
To my understanding, we should add it in all places.

@sdelatorrep
Copy link
Contributor Author

Created PR #214.

sdelatorrep added a commit that referenced this issue Nov 20, 2018
@sdelatorrep
Copy link
Contributor Author

PR #214 merged.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

No branches or pull requests

1 participant