gnutls_priority_deinit(3) on Linux

The text 452db5bb5f6c, as Debian 5.0 (Lenny) shipped it.

Deinitialize the priorities cache for the cipher suites supported by gnutls.