From: Nikos Mavrogiannopoulos <nmav@gnutls.org>
Date: Thu, 10 Oct 2019 12:55:37 +0000 (+0000)
Subject: Merge branch 'tmp-ext-mandatory' into 'master'
X-Git-Tag: gnutls_3_6_11~34
X-Git-Url: http://git.ipfire.org/gitweb/?a=commitdiff_plain;h=11f80530f209d0cf410a7ed5960f8bec8a4d27aa;p=thirdparty%2Fgnutls.git

Merge branch 'tmp-ext-mandatory' into 'master'

session tickets: parse extension during session resumption

Closes #841

See merge request gnutls/gnutls!1087
---

11f80530f209d0cf410a7ed5960f8bec8a4d27aa