From 762c6dc9f7572fd40fe1fc68eb9355dfaecccaaa Mon Sep 17 00:00:00 2001
From: Sameer Rahmani <lxsameer@gnu.org>
Date: Sun, 17 May 2020 16:48:31 +0100
Subject: [PATCH] Change gnutls28 to gnutls

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0848849..1534ae3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,7 +5,7 @@ stages:
   image: debian:stable-slim
   stage: build
   before_script:
-    - apt update && apt install -y make wget git emacs sudo gnutls28
+    - apt update && apt install -y make wget git emacs sudo gnutls
     - git clone -b $CI_COMMIT_REF_NAME https://gitlab.com/FG42/FG42 ~/.fg42/ && cd ~/.fg42/ && make install &&
   script:
     - cd ~/.fg42/ && fg42 -nw --script build.el