Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make the namespace comparison in sources.rs case-insensitive (#643)
Fixed #629. The primary reason for this PR is documented there, as well.
- Loading branch information