Merge pull request #15506 from seamuslee001/ignore_own_extension
authorSeamus Lee <seamuslee001@gmail.com>
Mon, 14 Oct 2019 22:12:45 +0000 (00:12 +0200)
committerGitHub <noreply@github.com>
Mon, 14 Oct 2019 22:12:45 +0000 (00:12 +0200)
Do not check for the extension we are trying to download itself


Trivial merge