Merge pull request #15251 from ja-pa/gnutls-3.7.1
authorNikos Mavrogiannopoulos <n.mavrogiannopoulos@gmail.com>
Fri, 26 Mar 2021 20:53:36 +0000 (21:53 +0100)
committerGitHub <noreply@github.com>
Fri, 26 Mar 2021 20:53:36 +0000 (21:53 +0100)
gnutls: update to version 3.7.1


Trivial merge