Merge pull request #15734 from neheb/gtl
authorRosen Penev <rosenp@gmail.com>
Wed, 2 Jun 2021 11:27:25 +0000 (04:27 -0700)
committerGitHub <noreply@github.com>
Wed, 2 Jun 2021 11:27:25 +0000 (04:27 -0700)
gnutls: update to 3.7.2


Trivial merge