]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'tmp-gen-suppressions' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Fri, 6 Mar 2020 19:58:48 +0000 (19:58 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Fri, 6 Mar 2020 19:58:48 +0000 (19:58 +0000)
Let valgrind suggest suppression rules on any issue it finds

See merge request gnutls/gnutls!1195


Trivial merge