Merge pull request #11202 from hnyman/zip
authorHannu Nyman <redacted>
Sun, 2 Feb 2020 11:33:49 +0000 (13:33 +0200)
committerGitHub <redacted>
Sun, 2 Feb 2020 11:33:49 +0000 (13:33 +0200)
zip: rename package to infozip to avoid name collision with tools


Trivial merge
git clone https://git.99rst.org/PROJECT