Commit 3f0d0c85d06f0d5ff9ba469c6ab523bfddcc710b

Philip Kelley 2013-03-01T15:44:18

Disable ignore_case when writing the index to a tree