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