Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
[Fix #2328 #2013] Refresh search index and test for case insensitive search #4277
Looks good, but I'd like to make the test a bit easier to read. It took me a couple minutes to realize what it was doing!