Remove other link to Zulip archive.

coq · Dec 11, 2024 · 6df4afc · 6df4afc
1 parent 34b59b6
commit 6df4afc
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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.