The text 852ed9b93f50, as Debian 6.0 (Squeeze) shipped it.
Set the CRL's number extension
gnutls_x509_crl_set_number(3) on Linux now
