Merge pull request #15343 from colemanw/upgrader
authorSeamus Lee <seamuslee001@gmail.com>
Sun, 22 Sep 2019 21:13:20 +0000 (07:13 +1000)
committerGitHub <noreply@github.com>
Sun, 22 Sep 2019 21:13:20 +0000 (07:13 +1000)
commit2e4563be8743bad8881450249677492be5a06834
tree6a4ca747c5dea1c603a3fba4bc0f763559335630
parent164f965d62463159aa7b996ca86d663eedcbe849
parentd3430cfc56512cd3cc74bedd6cca417ac17f9d1e
Merge pull request #15343 from colemanw/upgrader

Upgrader: handle missing obsolete extensions