]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
projects / thirdparty / gnutls.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 53cdf4d 3ea4f47)
Merge branch 'ci-pre-f42' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Wed, 19 Nov 2025 11:46:25 +0000 (20:46 +0900)
committerDaiki Ueno <ueno@gnu.org>
Wed, 19 Nov 2025 11:46:25 +0000 (20:46 +0900)
CI: assorted fixes in preparation for moving it to Fedora 42

See merge request gnutls/gnutls!2042


Trivial merge
Mirror of https://gitlab.com/gnutls/gnutls.git