caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: whitequark <whitequark@whitequark.org>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
Cc: Adrien Nader <adrien@notk.org>, caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] IRC channels available on libera.chat
Date: Sun, 30 May 2021 17:46:00 +0000	[thread overview]
Message-ID: <2ebd4e05e13f2ab92d49f19e52875ccc@whitequark.org> (raw)
In-Reply-To: <CAPFanBGRw=OTa8c+GZ+BWAr1Ua96y=a4APH9s3Vh1mVameCn2w@mail.gmail.com>

On 2021-05-30 16:22, Gabriel Scherer wrote:
> Dear Adrien (and list),
> 
> Thanks for taking care of the migration!
> 
> I don't use IRC regularly anymore (it eats my time and makes my
> content hard to find again), but I have made good use of whitequark's
> excellent IRC log services over the last decade
>   https://freenode.irclog.whitequark.org/ocaml/
> 
> Currently the log looks like #ocaml on freenode is still being logged,
> but this channel is now empty.
> 
> (Of course logs still exist for any past discussions.)
> 
> Is there a similar log service for the libera.chat channel?
> whitequark's webpage has a "Contact whitequark if your channel
> migrated to another network" message, has anyone done so for #ocaml?
> (If not, I just cc-ed whitequark.)

https://libera.irclog.whitequark.org/ocaml

-- 
whitequark

  reply	other threads:[~2021-05-30 17:46 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-05-20  8:16 Adrien Nader
2021-05-26 14:01 ` Adrien Nader
2021-05-27  8:34   ` Adrien Nader
2021-05-30 16:22     ` Gabriel Scherer
2021-05-30 17:46       ` whitequark [this message]
2021-06-18  9:52       ` Romain Calascibetta

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=2ebd4e05e13f2ab92d49f19e52875ccc@whitequark.org \
    --to=whitequark@whitequark.org \
    --cc=adrien@notk.org \
    --cc=caml-list@inria.fr \
    --cc=gabriel.scherer@gmail.com \
    /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;
as well as URLs for NNTP newsgroup(s).