Indexing should be done case-insensitively #27

karenetheridge opened this Issue Feb 15, 2013 · 3 comments


None yet

2 participants

neilb commented Feb 16, 2013

Thanks Karen. I'm "working on this", but who knows whether that will come to anything!
First I'm getting my head around how PAUSE works, writing notes in google docs.
Doing that may reveal some reason(s) why this is a non-starter.
But if it doesn't, then I'll have a go at addressing this.


see also #36

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment