This repository was archived by the owner on Apr 1, 2020. It is now read-only.
Allow for completions filter to be case insensitive - #2249
Open
bschulte wants to merge 3 commits into
Open
Commits
Commits on May 26, 2018
- committed
Brian Schulte - committed
Brian Schulte - committed
Brian Schulte