]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'tmp-alerts-fix' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 23 Jan 2019 12:06:34 +0000 (12:06 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 23 Jan 2019 12:06:34 +0000 (12:06 +0000)
Various alert-related fixes

Closes #672

See merge request gnutls/gnutls!885


Trivial merge