]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
projects / thirdparty / gnutls.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6ef4804 e484c69)
Merge branch 'tmp-update-ci-to-f31' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Sat, 2 Nov 2019 09:15:48 +0000 (09:15 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Sat, 2 Nov 2019 09:15:48 +0000 (09:15 +0000)
Update CI to F31

See merge request gnutls/gnutls!1113


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