Merge pull request #11202 from hnyman/zip
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 2 Feb 2020 11:33:49 +0000 (13:33 +0200)
committerGitHub <noreply@github.com>
Sun, 2 Feb 2020 11:33:49 +0000 (13:33 +0200)
commit65765707e236c63d29f19d73c1653042572080af
treedc965be9e71c6b49874f5911273ac3dfead7bc2b
parent0bae57e577929e96429c524524c3bbd885fc2219
parent07cef285bf7b19b3d0de30bbb83efe975689bdaf
Merge pull request #11202 from hnyman/zip

zip: rename package to infozip to avoid name collision with tools