]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'wip/dueno/gmp-static' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Thu, 15 Feb 2024 13:55:40 +0000 (13:55 +0000)
committerDaiki Ueno <ueno@gnu.org>
Thu, 15 Feb 2024 13:55:40 +0000 (13:55 +0000)
build: allow GMP to be statically linked

See merge request gnutls/gnutls!1635


Trivial merge