From 6df4afc4dea9ea332e013f4d23e206b9977c2891 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@telecom-paris.fr>
Date: Wed, 11 Dec 2024 15:15:08 +0100
Subject: [PATCH] Remove other link to Zulip archive.

---
 pages/community.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/pages/community.html b/pages/community.html
index a84546e598..f32e2c53df 100755
--- a/pages/community.html
+++ b/pages/community.html
@@ -17,8 +17,7 @@
 
 <ul>
 <li>Our <a href="https://coq.zulipchat.com">Zulip chat</a>, for casual
-and high traffic discussions, which are continuously
-<a href="https://coq.gitlab.io/zulip-archive/">archived</a>.
+and high traffic discussions.
 <li>Our <a href="https://coq.discourse.group">Discourse forum</a>, for
 more structured and easily browsable discussions and Q&amp;A.  Posts in
 other languages than English are explicitly welcome there.