From: Daiki Ueno <ueno@gnu.org>
Date: Wed, 19 Nov 2025 11:46:25 +0000 (+0900)
Subject: Merge branch 'ci-pre-f42' into 'master'
X-Git-Tag: 3.8.11~2
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c42845e4da88bcfa99474df8167ed4638650262c;p=thirdparty%2Fgnutls.git

Merge branch 'ci-pre-f42' into 'master'

CI: assorted fixes in preparation for moving it to Fedora 42

See merge request gnutls/gnutls!2042
---

c42845e4da88bcfa99474df8167ed4638650262c