GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and
privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Reported by twynn92 on 2013-01-28 18:01
When in the "Elements List" dialog, using a capital letter in the "Filter by" field will result in no results. Steps to reproduce:
Comment 1 by mdcurran on 2013-01-28 19:44
f25228a now returns case-insensitive results for uppercase text the same as lowercase does.
Milestone changed from None to 2013.1