]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'wip/dueno/minor-fixes' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Thu, 9 Jan 2025 06:25:43 +0000 (06:25 +0000)
committerDaiki Ueno <ueno@gnu.org>
Thu, 9 Jan 2025 06:25:43 +0000 (06:25 +0000)
Assorted minor improvements to the build infrastructure

See merge request gnutls/gnutls!1915


Trivial merge