From: "Nicolás Ojeda Bär" <nicolas.ojeda.bar@lexifi.com>
To: OCaml Mailing List <caml-list@inria.fr>
Subject: [Caml-list] [ANN] New caml-list mirror - https://inbox.ocaml.org/caml-list
Date: Tue, 13 Mar 2018 22:39:17 +0100 [thread overview]
Message-ID: <CADK7aFMCzJ4=2019iFUdTSbUwBqGBEeUbUJZeRhCdpv8y23gBQ@mail.gmail.com> (raw)
Dear caml-list,
I am happy to announce a new caml-list mirror, accessible at:
https://inbox.ocaml.org/caml-list
Some advantages with respect to the official archive (sympa):
- threads are not broken at month boundaries;
- powerful search;
- more usable interface (in my opinion);
- it is easy to get a copy of the full archive: git clone --mirror
https://inbox.ocaml.org/caml-list.
The new mirror is powered by https://public-inbox.org/, where you can
go to learn more about it.
If you run into trouble or have any comments at all, do not hesitate
to get in touch either directly or via caml-list.
Thanks!
Happy reading,
Nicolás
next reply other threads:[~2018-03-13 21:39 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-13 21:39 Nicolás Ojeda Bär [this message]
2018-03-14 0:33 ` Francois BERENGER
2018-03-14 8:25 ` Nicolás Ojeda Bär
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CADK7aFMCzJ4=2019iFUdTSbUwBqGBEeUbUJZeRhCdpv8y23gBQ@mail.gmail.com' \
--to=nicolas.ojeda.bar@lexifi.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox