[range.split.outer,range.split.inner] "current" placeholder vs. current_ exposition-only member #3851
Labels
decision-required
A decision of the editorial group (or the Project Editor) is required.
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.
The text was updated successfully, but these errors were encountered: