The text b772b7d2b604, as Debian 5.0 (Lenny) shipped it.
deletes a CRL from a PKCS7 crl set
gnutls_pkcs7_delete_crl(3) on Linux now
