The text c5cb8569f229, as Debian 13 (Trixie) shipped it.
API function
gnutls_session_is_resumed(3) on Linux now