From: Ralf Jung Date: Thu, 6 Jun 2019 13:35:31 +0000 (+0200) Subject: we use tag 0 so let's not use a NonZero type X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/1fb33d7467db73706d143150cf56bca253c86830?hp=1fb33d7467db73706d143150cf56bca253c86830 we use tag 0 so let's not use a NonZero type ---