Commit 6ea999bb88e1c5d0be17d823c23728d11adfed47

Russell Belfer 2013-06-13T15:52:12

Make index_insert keep existing case In a case insensitive index, if you attempt to add a file from disk with a different case pattern, the old case pattern in the index should be preserved. This fixes that (and a couple of minor warnings).