Allow filtering for mixed case strings
authorJoey Schulze <joey@infodrom.org>
Thu, 1 Aug 2019 11:40:36 +0000 (13:40 +0200)
committerJoey Schulze <joey@infodrom.org>
Thu, 1 Aug 2019 11:40:36 +0000 (13:40 +0200)

No differences found