]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'zfridric_devel2' into 'master'
authorZoltán Fridrich <zfridric@redhat.com>
Mon, 6 Feb 2023 10:15:54 +0000 (10:15 +0000)
committerZoltán Fridrich <zfridric@redhat.com>
Mon, 6 Feb 2023 10:15:54 +0000 (10:15 +0000)
Revert commit f7160e4f

Closes #1446

See merge request gnutls/gnutls!1695


Trivial merge