]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'wip/dueno/priority-race' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Sat, 30 Oct 2021 08:49:28 +0000 (08:49 +0000)
committerDaiki Ueno <ueno@gnu.org>
Sat, 30 Oct 2021 08:49:28 +0000 (08:49 +0000)
priority: fix potential race in reloading system-wide config

See merge request gnutls/gnutls!1482


Trivial merge