Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Nils Becker <nils.becker@bioquant.uni-heidelberg.de>
To: caml-list@inria.fr
Subject: [Caml-list] google groups list archive
Date: Sat, 5 Sep 2015 18:57:09 +0200	[thread overview]
Message-ID: <55EB1EE5.7040402@bioquant.uni-heidelberg.de> (raw)

this is a relaunched email since last time there was no response: the
google group fa.caml has not received any updates since the end of july.
it looks like the google groups archive of the caml-list is dead. if
this is intentional, fine. i find it unfortunate; if it's not
unfortunate, could some list admin maybe have a look what's wrong?

thanks!

             reply	other threads:[~2015-09-05 16:57 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-09-05 16:57 Nils Becker [this message]
2015-09-05 17:48 ` Mr. Herr
2015-09-06  9:13 Nils Becker
2015-09-06  9:20 ` Francois Berenger
2015-09-10 13:36 ` Ashish Agarwal
     [not found] <20150911100019.C167F7F1AC@sympa.inria.fr>
2015-09-11 11:12 ` Nils Becker
2015-09-12 16:59   ` Ashish Agarwal
2015-09-12 17:16     ` Xavier Leroy
2015-09-12 17:25       ` Gabriel Scherer
2015-09-14  6:46         ` Gabriel Scherer
2015-09-14 11:28           ` Daniel Bünzli
2015-09-14 13:20           ` Anil Madhavapeddy
2015-09-14 13:52             ` Leo White

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=55EB1EE5.7040402@bioquant.uni-heidelberg.de \
    --to=nils.becker@bioquant.uni-heidelberg.de \
    --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