From: Daiki Ueno <ueno@gnu.org>
Date: Mon, 15 Jan 2024 04:42:10 +0000 (+0000)
Subject: Merge branch 'wip/dueno/ci-fixes3' into 'master'
X-Git-Tag: 3.8.3~2
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=ee3157fe00cb7d757b53af3bcf7e8a64f1eec5f0;p=thirdparty%2Fgnutls.git

Merge branch 'wip/dueno/ci-fixes3' into 'master'

Assorted CI fixes

See merge request gnutls/gnutls!1798
---

ee3157fe00cb7d757b53af3bcf7e8a64f1eec5f0