Re: [PATCH] schannel_gnutls: when calling pgnutls_server_name_set ensure that the values are sane