From 276dfec379afba6bf370320715c0735e83039537 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Fri, 5 Nov 2021 19:50:12 +0100 Subject: [PATCH] [archives] fix URL of Renater's archives --- fc-discuss/archives-header.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/fc-discuss/archives-header.md b/fc-discuss/archives-header.md index d1a5cd46..3d67b7c4 100644 --- a/fc-discuss/archives-header.md +++ b/fc-discuss/archives-header.md @@ -7,5 +7,4 @@ title: Archives of the old Frama-C-discuss mailing list This page gathers the archives of the old Frama-C-discuss archives, that was hosted by [Inria](https://www.inria.fr)'s gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit -the page of the new mailing list on [Renater](https://groupes.renater.fr/frama-c-discuss) - +the page of the new mailing list on [Renater](https://groupes.renater.fr/sympa/arc/frama-c-discuss) -- GitLab