]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'tmp-fix-GNUTLS_PCERT_NO_CERT' into 'master'
authorTim Rühsen <tim.ruehsen@gmx.de>
Wed, 12 Dec 2018 10:23:43 +0000 (10:23 +0000)
committerTim Rühsen <tim.ruehsen@gmx.de>
Wed, 12 Dec 2018 10:23:43 +0000 (10:23 +0000)
GNUTLS_PCERT_NO_CERT: marked as unused/ignored

See merge request gnutls/gnutls!837


Trivial merge