]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'misc-fixes' into 'master'
authorTim Rühsen <tim.ruehsen@gmx.de>
Mon, 23 Jul 2018 20:33:17 +0000 (20:33 +0000)
committerTim Rühsen <tim.ruehsen@gmx.de>
Mon, 23 Jul 2018 20:33:17 +0000 (20:33 +0000)
Few small patches

See merge request gnutls/gnutls!715


Trivial merge