gnutls_pkcs7_deinit(3) on Linux

The text 42c292e4d529, as Debian 4.0 (Etch) shipped it.

This function deinitializes memory used by a gnutls_pkcs7_t structure

gnutls_pkcs7_deinit(3) on Linux now