The text 8ddeec3d6e09, as Debian 4.0 (Etch) shipped it.
This function will copy the CRL dist points
gnutls_x509_crt_cpy_crl_dist_points(3) on Linux now