The text 365cb282bbdb, as Debian 5.0 (Lenny) shipped it.
Set the expiration time for resumed sessions.
gnutls_db_set_cache_expiration(3) on Linux now