3.7.1 – 2019-01-30

You can view the 3.7.1 milestone on GitLab for more details.

Bugs Fixed

• Fix capitalized filenames in per-file-ignores setting (See also GitLab!290, GitLab#488)