]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'wip/dueno/ci-cross-fedora38' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Mon, 31 Jul 2023 23:17:27 +0000 (23:17 +0000)
committerDaiki Ueno <ueno@gnu.org>
Mon, 31 Jul 2023 23:17:27 +0000 (23:17 +0000)
.gitlab-ci.yml: enable use of Fedora based CI image for cross compilation

See merge request gnutls/gnutls!1757


Trivial merge