deallocation in gnutls_*_deinit?

[Mads Kiilerich]

  Hi

Newbie question here:

According to valgrind and the source then for example gnutls_hash_init 
and gnutls_cipher_init does a gnutls_malloc, but the corresponding 
_deinit apparently doesn't free it.

The documentation doesn't mention anything, and I would thus expect 
gnutls_hash_deinit & friends to do the necessary gnutls_free.

What have I missed?

Should I explicitly call gnutls_free after gnutls_*_deinit?

Using gnutls-2.10.0 on Fedora 13.

/Mads