]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'tmp-def-priority2' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Mon, 9 Jul 2018 17:09:11 +0000 (17:09 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Mon, 9 Jul 2018 17:09:11 +0000 (17:09 +0000)
gnutls_set_default_priority2: introduced

See merge request gnutls/gnutls!680


Trivial merge