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/6623b3da7d6851ccf42186871c7e325abc5c250a?hp=6623b3da7d6851ccf42186871c7e325abc5c250a we use tag 0 so let's not use a NonZero type ---