> On 03/14/2018 06:39 AM, Nicolás Ojeda Bär wrote: >> Dear caml-list, >> >> I am happy to announce a new caml-list mirror, accessible at: >> >> https://inbox.ocaml.org/caml-list > > Was it populated with the complete history of caml-list? > > This would be very useful, many times I have tried to google > for some old caml-list messages, and never managed to find > things via sympa's interface. > >> 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 > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs