]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'wip/dueno/ems' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Thu, 9 Mar 2023 21:42:41 +0000 (21:42 +0000)
committerDaiki Ueno <ueno@gnu.org>
Thu, 9 Mar 2023 21:42:41 +0000 (21:42 +0000)
priority: add %FORCE_SESSION_HASH modifier

Closes #1445

See merge request gnutls/gnutls!1711


Trivial merge