The text f2c14a551aa3, as Debian 5.0 (Lenny) shipped it.
deinitializes a #gnutls_x509_crl_t structure
gnutls_x509_crl_deinit(3) on Linux now
