[range.split.outer,range.split.inner] "current" placeholder vs. current_ exposition-only member
Open
@jwakely is already working on this.
Since Jun 16, 2025.
decision-required
- Dominant language
- TeX
- Stars
- 221
- Forks
- 813
- Avg merge
- 16h 4m
- Merged PRs (30d)
- 36
Description
Some misuse was fixed in #3849, but having these two near-identical identifiers with different semantics is prone to cause further mix-ups.
Find a better name for one of them.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.