Re: bug#47222: Serious bug in Nettle's ecdsa_verify