Open bsansouci opened 6 years ago
That really doesn't need to be the case. We should make them case insensitive but warn maybe?
That really doesn't need to be the case. We should make them case insensitive but warn maybe?