]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'wip/dueno/pre-bootstrap' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Sat, 18 Mar 2023 08:14:24 +0000 (08:14 +0000)
committerDaiki Ueno <ueno@gnu.org>
Sat, 18 Mar 2023 08:14:24 +0000 (08:14 +0000)
.gitlab-ci.yml: make use of .pre stage

See merge request gnutls/gnutls!1729


Trivial merge