]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'zfridric_devel' into 'master'
authorZoltán Fridrich <zfridric@redhat.com>
Tue, 15 Nov 2022 16:06:15 +0000 (16:06 +0000)
committerZoltán Fridrich <zfridric@redhat.com>
Tue, 15 Nov 2022 16:06:15 +0000 (16:06 +0000)
Adjust FIPS integrity check

Closes #1426

See merge request gnutls/gnutls!1666


Trivial merge