Make match_ignore_ascii_case more efficient, add ascii_case_insensitive_phf_map#122
Merged
SimonSapin merged 14 commits intomasterfrom Feb 25, 2017
Commits
Commits on Feb 24, 2017
Commits on Feb 25, 2017
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed