]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'dev' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Tue, 28 Mar 2023 11:23:40 +0000 (11:23 +0000)
committerDaiki Ueno <ueno@gnu.org>
Tue, 28 Mar 2023 11:23:40 +0000 (11:23 +0000)
Modifier GNUTLS_NO_EXTENSIONS renamed to GNUTLS_NO_DEFAULT_EXTENSIONS

See merge request gnutls/gnutls!1734


Trivial merge