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


From 9830d357463d98255519f5bc271243ff7329d05a Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sun, 6 Dec 2020 14:36:10 +0100
Subject: refactor: Simplify ci/init-tests.el

---
 ci/init-tests.el | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'ci')

diff --git a/ci/init-tests.el b/ci/init-tests.el
index 4f40c295..ade70cce 100644
--- a/ci/init-tests.el
+++ b/ci/init-tests.el
@@ -10,11 +10,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")))
-  (add-to-list 'package-archives
-               (cons "melpa" (concat proto "://melpa.org/packages/")) t))
+(add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t)
 (package-initialize)
 
 ;; Optionally: bootstrap use-package for declarative package specs
-- 
cgit v1.2.3