Subject: bug#18526: Failure to download from github due to TLS fatal alert

From: [email-masked] (Ludovic Courtès)
Date: Mon, 13 Oct 2014 23:35:35 +0200

Commit 3de9a59 pushed an update to GnuTLS 3.2.19, which brings the new
‘set-server-name!’ procedure.

Ludo’.