]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
projects / thirdparty / gnutls.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8ee1fb7 9b53438)
Merge branch 'tmp-res-prio' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Thu, 20 Sep 2018 14:29:52 +0000 (14:29 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Thu, 20 Sep 2018 14:29:52 +0000 (14:29 +0000)
Fix issue introduced in 20886264fe

See merge request gnutls/gnutls!756


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