Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The word `omitted` is likely more appropriate than `elided` here. `elided` refers more to speech than writing.
- Loading branch information