From: "(" <[email-masked]>
Date: Mon, 08 Aug 2022 18:11:05 +0100

We now have nettle 3.7.3, so this isn't an issue anymore. Closing.

    -- (