]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'tmp-crl' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Mon, 17 Sep 2018 09:02:46 +0000 (09:02 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Mon, 17 Sep 2018 09:02:46 +0000 (09:02 +0000)
certtool: crl handling updates

See merge request gnutls/gnutls!747


Trivial merge