From: Daiki Ueno <ueno@gnu.org>
Date: Tue, 5 Apr 2022 10:08:04 +0000 (+0000)
Subject: Merge branch 'wip/dueno/minor' into 'master'
X-Git-Tag: 3.7.5~24
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=ebb29edeba84449da23192b3e8d366aa10d7e8a0;p=thirdparty%2Fgnutls.git

Merge branch 'wip/dueno/minor' into 'master'

build: minor fixes

See merge request gnutls/gnutls!1566
---

ebb29edeba84449da23192b3e8d366aa10d7e8a0