]> granicus.if.org Git - zziplib/commitdiff
Merge pull request #94 from MaxKellermann/mini_fixes
authorGuido U. Draheim <guidod@gmx.de>
Wed, 21 Oct 2020 20:24:30 +0000 (22:24 +0200)
committerGitHub <noreply@github.com>
Wed, 21 Oct 2020 20:24:30 +0000 (22:24 +0200)
Two small fixes


Trivial merge