Samuel Mimram wrote: > Hi, > > A quick reminder for those who did not know, there is an IRC channel for > the debian-ocaml-maint team. Following irc.debian.org, we have moved to > OFTC. The new chan is #debian-ocaml-maint on irc.debian.org (or > irc.oftc.net). Actually, it was the good time for a name change. Since #debian-ocaml-maint was a bit long, the new chan name is #debian-ocaml (and still on OFTC). Cheers, Samuel.