Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix minor typo: "But **_ would be redundant, so it not allowed." --> "But **_ would be redundant, so it is not allowed."
- Loading branch information