The text 8af94144f13a, as Debian 5.0 (Lenny) shipped it.
insert the CRL into the bag
gnutls_pkcs12_bag_set_crl(3) on Linux now
