tree 5a733c654196af0690f7e5fc493ba7dbcc32c1e9
parent 3eb06ca74073df2ab01c18063742a951f8cb7e15
author Thomas Klausner <tk@giga.or.at> 1538236772 +0200
committer Thomas Klausner <tk@giga.or.at> 1538236772 +0200

Move zip_discard to writing section.
Make Ss arguments unique.