1. 2017-10-19 Re: [gnutls-devel] [PATCH] gnutls_server_name_set: Cl gnutls-de Nikos Mavrogiannop 2. 2017-10-18 [gnutls-devel] [PATCH] gnutls_server_name_set: Clarif gnutls-de Thomas Klute