Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Typo matching is case insensitive, it doesn't make sense to use uppercase in this context. While we would like a mechanism to suggest that "manuel" is a typo but "Manuel" is not, writing the typo as "Manuel" doesn't help in any way. We keep uppercase in suggested fixes, that could be useful some day.
- Loading branch information