Merge pull request #5149 from yanchen036/master
authorPrzemysław Dolata <snowball91b@gmail.com>
Tue, 20 Feb 2018 13:03:14 +0000 (14:03 +0100)
committerGitHub <noreply@github.com>
Tue, 20 Feb 2018 13:03:14 +0000 (14:03 +0100)
fix extension extraction in matchExt


Trivial merge