The text c727de1fdc21, as Debian 4.0 (Etch) shipped it.
This function will set the CRL version
gnutls_x509_crl_set_version(3) on Linux now
