The text a581f423a703, as Debian 4.0 (Etch) shipped it.
This function deletes a crl from a PKCS7 crl set
gnutls_pkcs7_delete_crl(3) on Linux now
