From a2410155e6ef324660465013c1da0d737e49580f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 14 Dec 2015 14:09:18 +0100 Subject: typo --- etc/ANNOUNCE-github.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'etc/ANNOUNCE-github.md') diff --git a/etc/ANNOUNCE-github.md b/etc/ANNOUNCE-github.md index 3554490..997480a 100644 --- a/etc/ANNOUNCE-github.md +++ b/etc/ANNOUNCE-github.md @@ -18,7 +18,7 @@ exchange we expect members of the organization to actively maintain their code w change is applied or a patch is proposed. The organization hosts a [wiki](https://github.com/math-comp/math-comp/wiki) for exchanging tips -and tricks, gotchas, good practices, etc: +and tricks, gotchas, good practices, etc. The ssreflect [mailing list](https://sympa.inria.fr/sympa/info/ssreflect) shall serve as the privileged communication channel between the organization members. -- cgit v1.2.3