]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'tmp-document-none' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 15 Aug 2018 08:07:02 +0000 (08:07 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 15 Aug 2018 08:07:02 +0000 (08:07 +0000)
doc: document the non-portability of NONE priority string

See merge request gnutls/gnutls!731


Trivial merge