Fixes: debbugs:18208 * gnutls.c (Fgnutls_boot): Send the server name over (bug#18208).
Attach a file by drag & drop or click to upload