Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Per report from Emre Sevinç for a typo, reworked largely by me in passing. Backpatch down to v14, where this file has been introduced. Per pull request #176. Backpatch-through: 14
- Loading branch information