From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 42698E00BF for ; Thu, 27 May 2021 10:34:41 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=adrien@notk.org; spf=Pass smtp.mailfrom=adrien@notk.org; spf=None smtp.helo=postmaster@nautica.notk.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of adrien@notk.org) identity=pra; client-ip=91.121.71.147; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="adrien@notk.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of adrien@notk.org designates 91.121.71.147 as permitted sender) identity=mailfrom; client-ip=91.121.71.147; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="adrien@notk.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nautica.notk.org) identity=helo; client-ip=91.121.71.147; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="postmaster@nautica.notk.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?A9a23=3Ac8iGYB9jnepzU/9uWSG8ngc9DxPPW53KNwIYoqA?= =?us-ascii?q?ql6hJOvz6uci7bQqFtakm1QaVFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkel?= =?us-ascii?q?M8NlBYhCsPWQWfyLfrtcjBoVJ8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZ?= =?us-ascii?q?pO+j5AIHfg9mz2uyo5ZHeYApFiDWgbb9vIxi9sBncuNQRjYZ+MKg61wHHomFPe?= =?us-ascii?q?+RYxGNoIUyckhPh7cqu/5Bt7jpdtes5+8FPTav1caI4TadFDDs9KGA6+NfrtRj?= =?us-ascii?q?YQgSR4HYXT3gbnQBJAwjB6xH6Q4vxvy7nvedzxCWWIcv7Rq0yVD+/7alkVQXoh?= =?us-ascii?q?T8JOTA57m/Zl89+jKxUrx29uhNwwYDbbZqJNPZiZK7RYc8WSHBDU8tXSidPApm?= =?us-ascii?q?8b4wKD+cZIetXspP9p1oQohu4GAKiHPngxSJWiX/swKY31P4uHhzc3AwhAd0Ot?= =?us-ascii?q?m/ZrNPyNKcOUuC51q7IzS/Mb/5P3zr29YfHfAw7r/6WQbJwbdTeyVMpFw7dk1m?= =?us-ascii?q?dqIPrMj2L2+kOr2WW6/ZsWO2vhmMpqw98pjehy9oshIXVmo4Z107J+CVlzYg1O?= =?us-ascii?q?NC0VE52bMK4HJZNqyyWKY17Sd4sTWFvvSY10LwGuZijcSgE0pQo2QDQa/qAc4e?= =?us-ascii?q?V/B3vTuCRLilkhH9jZbmxhA6y/FCkx+HhTMW4zUhGojdfntTOq3wBzQHf58eFR?= =?us-ascii?q?/Z740yvwyyA1xrJ5eFBOU00lbTUK5omwrMokJocq1nDHjP3mErqlqCabEMk+u+?= =?us-ascii?q?06+TkeLnmoYWcN4BshgH/NKQhhNC/DPw8PwQTRWSX5Pqw2KD58UD7XblGlOA6n?= =?us-ascii?q?6bbvZzCIMQUvK+5Awtb0oY57Ba/Ci+r384FknkdLVJKZhSHgpPvO1HJPPD4Du2?= =?us-ascii?q?zg1O2kDdk3/zGJKHuAo3RLnjfl7fsZapy5FRZyAo31Nxf45NUCqodIP/oQU/wt?= =?us-ascii?q?NnYDgcjPACuwubnDs991oIEVm6VDK+ZKvCajVjd7esqJ6yIZZQJkDf7MfksofD?= =?us-ascii?q?03lEjnlpIVKWz3JYRIFaxEvl8axGQbWDtj9EpF2AWvUw5VuO82w7KaiJae3vnB?= =?us-ascii?q?/F03To8Eo/zVe8rqairh6CCmiChEc8PDoinIlaFDGvpfIzCXfAQa2SVOMAzylT?= =?us-ascii?q?ssJCnTJMikxa0u12io4c=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AOzDXbqqC+L+EA5cCr9fJO/MaV5oleYIsimQD?= =?us-ascii?q?101hICG9Ffb1qynOppkmPHDP5wr5NEtPpTnEAtjifZq+z/RICOsqTNKftWDd0Q?= =?us-ascii?q?PCEGgh1/qB/9SKIU3DH4BmtJuIP5IOb+EZXTBB/KLH3DU=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CBBgCFWK9gZJNHeVtagQmBWYIpd1Y7M?= =?us-ascii?q?YQCRq8nCwEDAQ0tEQECBAEBhFACgX4CHQcBBDUFDQIEFQEBBQEBAQIBAwMEAQR?= =?us-ascii?q?/hWgNgjgig2sGI2YLGgIYDgICFBiDNoMLp1CBMoEBhGSDdYFigRAqhWwTQIcpJ?= =?us-ascii?q?xyBSUSECC8+hRGCSjaCLgSCR4Q9jHGECapJgyGBLIdLgRSTQRUpgTmCEhKBQol?= =?us-ascii?q?XllyBdYR7iS6HOp0QhR6BbCGBWzMaCCgIO4JpCUcZDpFriwRCLzgCBgoBAQMJW?= =?us-ascii?q?QEBinUBAQ?= X-IPAS-Result: =?us-ascii?q?A0CBBgCFWK9gZJNHeVtagQmBWYIpd1Y7MYQCRq8nCwEDAQ0?= =?us-ascii?q?tEQECBAEBhFACgX4CHQcBBDUFDQIEFQEBBQEBAQIBAwMEAQR/hWgNgjgig2sGI?= =?us-ascii?q?2YLGgIYDgICFBiDNoMLp1CBMoEBhGSDdYFigRAqhWwTQIcpJxyBSUSECC8+hRG?= =?us-ascii?q?CSjaCLgSCR4Q9jHGECapJgyGBLIdLgRSTQRUpgTmCEhKBQolXllyBdYR7iS6HO?= =?us-ascii?q?p0QhR6BbCGBWzMaCCgIO4JpCUcZDpFriwRCLzgCBgoBAQMJWQEBinUBAQ?= X-IronPort-AV: E=Sophos;i="5.82,334,1613430000"; d="scan'208";a="382605583" X-MGA-submission: =?us-ascii?q?MDHTT/2goN1itd9tCSXyPzHhjB0VkX2XiABxo4?= =?us-ascii?q?cCdE88D7FVNx+vM9tlHNJL3ni4K1Xc6vMlsHHoe8nayliCT2hFjkKzI8?= =?us-ascii?q?6dqW0BDtNHaMFxy3lNiEGpQTLeFJVy9kVOPl1C82SjRkFIWlIgaqKG7S?= =?us-ascii?q?kwz5T0eAlcKgXiGqJ1KkL6RA=3D=3D?= Received: from nautica.notk.org ([91.121.71.147]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 May 2021 10:34:40 +0200 Received: by nautica.notk.org (Postfix, from userid 1003) id 2BED1C01A; Thu, 27 May 2021 10:34:38 +0200 (CEST) Date: Thu, 27 May 2021 10:34:38 +0200 From: Adrien Nader To: caml-list@inria.fr Message-ID: <20210527083438.GA29013@notk.org> References: <20210520081605.GA32553@notk.org> <20210526140102.GA22143@notk.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20210526140102.GA22143@notk.org> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] IRC channels available on libera.chat Hello, Hopefully this is the last part of the story. Yotam Barnoy has set up the discord bot to use libera.chat. The matrix bridge is unofficially available now. The schema has changed and is now #ocaml:libera.chat . Some downtime should be expected in the near future but the fact is that the bridge is available. If you have control over something that still mentions freenode.net, please update it to use libera.chat instead. Thanks, -- Adrien