gnutls-deinit

gnutls-deinit is a built-in function in `C source code'.

(gnutls-deinit PROC)

Deallocate GnuTLS resources associated with process PROC.
See also `gnutls-init'.