]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
projects / thirdparty / gnutls.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c8d7f94 7b800ea)
Merge branch 'tmp-fuzzer-coverage' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Sun, 4 Mar 2018 18:03:52 +0000 (18:03 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Sun, 4 Mar 2018 18:03:52 +0000 (18:03 +0000)
Improve fuzzer coverage report creation

See merge request gnutls/gnutls!609


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