From 7e5605b1c74e8341867a3ffdc205770293cb88a6 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sun, 6 Dec 2020 14:34:44 +0100
Subject: fix: Workaround DebBug 34341 (fixed in Emacs 26.3, 27.1)

* This patch should hopefully fix ProofGeneral CI tests.

href: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=34341
href: https://github.com/coq/coq/issues/12088#issuecomment-613522676
---
 ci/init-tests.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ci')

diff --git a/ci/init-tests.el b/ci/init-tests.el
index 6b0f4439..4f40c295 100644
--- a/ci/init-tests.el
+++ b/ci/init-tests.el
@@ -9,6 +9,7 @@
 
 ;; Setup MELPA
 (require 'package)
+(setq gnutls-algorithm-priority "NORMAL:-VERS-TLS1.3")
 (let* ((no-ssl (and (memq system-type '(windows-nt ms-dos))
                     (not (gnutls-available-p))))
        (proto (if no-ssl "http" "https")))
-- 
cgit v1.2.3