Allow json filename to be lowercase of the GitHub username
dtolnay opened this issue · comments
In #433 the user's GitHub username is "GiovanniSM20" and they are adding data/giovannism20.json. GitHub usernames are case insensitive so perhaps this should be allowed.
Duplicate of rust-unofficial/rustaceans-src#8.