diff options
authorThomas Letan <>2020-03-20 21:39:58 +0100
committerThomas Letan <>2020-03-20 21:39:58 +0100
commit4503a1608ab215c27dfd33caf34fd2e3af015299 (patch)
parentb4a2c6e9cdda16c8bf4a154d0c90508538c33830 (diff)
Do not use the mailing list anymore
1 files changed, 3 insertions, 2 deletions
diff --git a/site/ b/site/
index 2a5e085..0a5a9f8 100644
--- a/site/
+++ b/site/
@@ -10,8 +10,9 @@ Over the past years, I have tried to capitalize on my findings. What I have
lacked in regularity I made up for in subject exoticism.
If you like what you read, have a question or for any other reasons really, you
-can shoot an email to [[mailto:~lthms/][the dedicated mailing list]] (see the [[][announcement]] for a
-guide on how to subscribe).
+can shoot an [[][email]], or start a discussion on
+whichever site you like (I personnaly enjoy [[][]]
+very much).
* About Coq