The text 0f40c71afcd1, as Debian 4.0 (Etch) shipped it.
This function will set the CRL's issuing time
gnutls_x509_crl_set_this_update(3) on Linux now
