]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'wip/dueno/ci-fixes' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Thu, 23 Feb 2023 10:40:48 +0000 (10:40 +0000)
committerDaiki Ueno <ueno@gnu.org>
Thu, 23 Feb 2023 10:40:48 +0000 (10:40 +0000)
.gitmodules: revert to use full URLs for submodules

See merge request gnutls/gnutls!1713


Trivial merge