]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'tmp-persistent-id' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Tue, 7 Aug 2018 06:02:44 +0000 (06:02 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Tue, 7 Aug 2018 06:02:44 +0000 (06:02 +0000)
resumption: keep persistent session identifiers

Closes #484

See merge request gnutls/gnutls!721


Trivial merge