gnutls_x509_crl_deinit(3) on Linux

The text 017d31058dad, as Debian 4.0 (Etch) shipped it.

This function deinitializes memory used by a gnutls_x509_crl_t structure

gnutls_x509_crl_deinit(3) on Linux now