gnutls_x509_crl_set_crt(3) on Linux

The text 5ffb2e5d43f3, as Debian 6.0 (Squeeze) shipped it.

This function will set a revoked certificate's serial number

gnutls_x509_crl_set_crt(3) on Linux now