The text fe02839be5d3, as Debian 6.0 (Squeeze) shipped it.
deinitialize the priorities cache
gnutls_priority_deinit(3) on Linux now
