]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
projects / thirdparty / gnutls.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ce569ca cf2370c)
Merge branch 'ci' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Tue, 9 Apr 2019 06:22:44 +0000 (06:22 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Tue, 9 Apr 2019 06:22:44 +0000 (06:22 +0000)
ci: refresh the cache due to failures in debian

See merge request gnutls/gnutls!974


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