The text adf10aa54286, as Debian 6.0 (Squeeze) shipped it.
deinitializes a #gnutls_x509_crl_t structure
gnutls_x509_crl_deinit(3) on Linux now