On Sat, 26 Jan 2019 23:23:13 +0000 (UTC), [email protected]
wrote about "[PRQ#13947] Deletion Request for minizip2-git":

> coderobe [1] filed a deletion request for minizip2-git [2]:
> 
> duplicate of minizip-git

Yes, but rather minizip-git is _not_ the latest git-checkoout of
minizip, but a specific, fixed version.

Furthermore, minizip version 2 is not a drop-in replacement of minizip,
that's why renamed to minizip2.

Greetings!

Reply via email to