The text 2be89c48cbd5, as Debian 6.0 (Squeeze) shipped it.
deletes a CRL from a PKCS7 crl set
gnutls_pkcs7_delete_crl(3) on Linux now
