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

    -- (



Reply via email to