]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'wip/dueno/thr' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Mon, 22 Nov 2021 10:59:38 +0000 (10:59 +0000)
committerDaiki Ueno <ueno@gnu.org>
Mon, 22 Nov 2021 10:59:38 +0000 (10:59 +0000)
locks: couple of improvements using Gnulib glthread

See merge request gnutls/gnutls!1485


Trivial merge