Merge pull request #4102 from WoltLab/devtools_open_archive
authorMatthias Schmidt <gravatronics@live.com>
Wed, 14 Apr 2021 05:38:54 +0000 (07:38 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Apr 2021 05:38:54 +0000 (07:38 +0200)
Open archive in `DevtoolsPackageArchive` only once


Trivial merge