Stop! Tickets are now managed at GitHub.

Please enter new tickets, and find and edit existing tickets there:


Change History for Proposals/case-insensitive

Version Date Author Comment
3 3 years tommd
2 3 years gregorycollins
1 3 years gregorycollins