Merge pull request #3962 from WoltLab/devtools-efficient-scan
authorTim Düsterhus <duesterhus@woltlab.com>
Fri, 12 Feb 2021 09:48:37 +0000 (10:48 +0100)
committerGitHub <noreply@github.com>
Fri, 12 Feb 2021 09:48:37 +0000 (10:48 +0100)
Make DevtoolsPackageArchive::openArchive() more efficient


Trivial merge