Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Editorial: fix typo around "mutual exclusive"
This is for addressing #1716. I also found that "not" should also be an exclusive condition. Let me update.
- Loading branch information