Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The users returned by Github and listed in our contributors.yml are not equal regarding case sensitivity. That is why a case insensitive comparison is required.
- Loading branch information