Merge 0a4059ea7a661e8c5990789e51d662ecd9d7a123 into 03e1438089654fb884ac48e0f3cd0049cfe2c102

This commit is contained in:
Joachim Bauernberger 2026-10-27 10:46:11 -04:00 committed by GitHub
commit a1cf882714
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -91,9 +91,9 @@ fi
# If $GNUTLS_SERV is at least 3.7, use it as GNUTLS_NEXT_SERV as well.
if [ -z "${GNUTLS_NEXT_SERV:-}" ]; then
case $($GNUTLS_SERV --version) in
gnutls-cli\ 3.[1-9][0-9]*) GNUTLS_NEXT_SERV=$GNUTLS_SERV;;
gnutls-cli\ 3.[7-9].*) GNUTLS_NEXT_SERV=$GNUTLS_SERV;;
gnutls-cli\ [4-9]*) GNUTLS_NEXT_SERV=$GNUTLS_SERV;;
gnutls-serv\ 3.[1-9][0-9]*) GNUTLS_NEXT_SERV=$GNUTLS_SERV;;
gnutls-serv\ 3.[7-9].*) GNUTLS_NEXT_SERV=$GNUTLS_SERV;;
gnutls-serv\ [4-9]*) GNUTLS_NEXT_SERV=$GNUTLS_SERV;;
esac
fi