]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'master' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Tue, 28 Feb 2023 08:52:10 +0000 (08:52 +0000)
committerDaiki Ueno <ueno@gnu.org>
Tue, 28 Feb 2023 08:52:10 +0000 (08:52 +0000)
remove unused extern variables

See merge request gnutls/gnutls!1718


Trivial merge