Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[sequence.reqmts] Remove unnecessary qualification of which new element
There is only one new element, and this avoids having to decide whether it should say args....
- Loading branch information