diff options
Diffstat (limited to 'etc/ANNOUNCE-github.md')
| -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. |