summaryrefslogtreecommitdiffstats
path: root/site
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-03-20 21:39:58 +0100
committerThomas Letan <lthms@soap.coffee>2020-03-20 21:39:58 +0100
commit4503a1608ab215c27dfd33caf34fd2e3af015299 (patch)
tree35440f0958b5cd53eeca8b4641f69f4c9d3fbf6c /site
parentRemove the “About” page and use the “Write-up” page as default index (diff)
Do not use the sr.ht mailing list anymore
Diffstat (limited to 'site')
-rw-r--r--site/index.org5
1 files changed, 3 insertions, 2 deletions
diff --git a/site/index.org b/site/index.org
index 2a5e085..0a5a9f8 100644
--- a/site/index.org
+++ b/site/index.org
@@ -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/lthms.xyz@lists.sr.ht][the dedicated mailing list]] (see the [[https://lists.sr.ht/~lthms/lthms.xyz/%3C20190127111504.n27ttkvtl7l3lzwb%40ideepad.localdomain%3E][announcement]] for a
-guide on how to subscribe).
+can shoot an [[mailto:lthms@soap.coffee][email]], or start a discussion on
+whichever site you like (I personnaly enjoy [[https://lobste.rs][Lobste.rs]]
+very much).
* About Coq