Merge branch 'no-session-ticket' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 14 Nov 2018 08:16:19 +0000 (08:16 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 14 Nov 2018 08:16:19 +0000 (08:16 +0000)
commitf0a7c1884999a6c60b1f6c5cfcf8604673a01256
tree09ed91bd7de6f064b5bc2f5bf0d9b9a10b610973
parent7e73fb75989719299a7fdc67488457dd175f2012
parente6742a506c36db10f64762a07d7b3dd2b7b92c6e
Merge branch 'no-session-ticket' into 'master'

configure.ac: drop obsolete info line

Closes #616

See merge request gnutls/gnutls!804