diff options
| author | Enrico Tassi | 2015-12-14 14:09:18 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-12-14 14:09:18 +0100 |
| commit | a2410155e6ef324660465013c1da0d737e49580f (patch) | |
| tree | ba56334220d008a1faf2ffa12df8a1ff18512c27 | |
| parent | 94fdfb0fea69ff18c688121cd0b77ec26c886cd2 (diff) | |
typo
| -rw-r--r-- | etc/ANNOUNCE-github.md | 2 |
1 files changed, 1 insertions, 1 deletions
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. |