From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 3D0BC8012F for ; Mon, 15 May 2017 16:37:31 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=anil@recoil.org; spf=None smtp.mailfrom=anil@recoil.org; spf=None smtp.helo=postmaster@bark.recoil.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@bark.recoil.org) identity=helo; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@bark.recoil.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A4vv/hBOMtgMbezYO3DAl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lfj7rarrMEGX3/hxlliBBdydsKMYzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFHiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?gbODE37WHZhc5+gqxUoxyhqQJxzYnPbYGJNvd+e7/RfdMGSWZfWMtaSixPApm7?= =?us-ascii?q?b4sKF+cMIeBYr4j5p1ATqhWxHxSjBOP1xT9WnHD2xbM13Pk8HgDGwQctGMgBsH?= =?us-ascii?q?LVrNXxL6oSS/66w7XPzTXCa/NawzD96JLHch04p/yHQLx+cc3UyUY1FgPFiE2d?= =?us-ascii?q?qYv5MDyP0+QNt3KX7+16VeKgjWMstgJ/oiC3y8oskIXFm4IYx17e+Sln3oo4Jc?= =?us-ascii?q?e0RU5mbdK8DZddtC+XO5F3T888WW1kpTg2x74ctZKlfCUG1ZIqzAPFZfOdaYiH?= =?us-ascii?q?+BfjWf6RIThmgHJlf6qyiA2o/ki6ye3wTNO030hWoSpCk9nMsmoB1xvJ6siIUv?= =?us-ascii?q?d9/0Gh1iiT1w3L6uxIO104mKrVJpI73LI8iJoevV7DEyPrgEn2ibWZdkQg+uim?= =?us-ascii?q?8eTnZbDmq4eGOI9yiwH+Nr8jmtahDuskNQgOXmyb9f671L358k31WK9KgeEukq?= =?us-ascii?q?nFrJDaItwWqbKjDA9Q1oYv8hK/Dza90NQEhnQHN1JEeBefj4fzIV3OIfb4De2+?= =?us-ascii?q?g1u2ijtryerGbfXdBcD2FjCXi6/Jeqx36lJVzAQ03ZZU4JcCWZ8bJ/emc0nwsJ?= =?us-ascii?q?T9BxM5OhK92+vrBMQ1gooYWGanGKKSN6LW91iS6bR8cKG3eIYJtWOleLAe7Pn0?= =?us-ascii?q?gCphlA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D+CQC5vBlZ/zPhmQVcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgypiA4EJjnaQSyGYBCiFcgoCCIUlQxQBAQEBAQEBAQEBAWoogjM?= =?us-ascii?q?igkQBBToGAwE1AQEOCxguVwYTiiIFAatZgxCDCQcChzcBAQEBAQEEAQEBAQEBA?= =?us-ascii?q?QEXAQiIPSsLgmWIJIIxAZEqjGSHHIt/bIEAAWyIKYZpkACEQzYhgQp9CEYSAYJ?= =?us-ascii?q?Sgl+BP2mIXwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0D+CQC5vBlZ/zPhmQVcHAEBBAEBCgEBFwEBBAEBCgEBgyp?= =?us-ascii?q?iA4EJjnaQSyGYBCiFcgoCCIUlQxQBAQEBAQEBAQEBAWoogjMigkQBBToGAwE1A?= =?us-ascii?q?QEOCxguVwYTiiIFAatZgxCDCQcChzcBAQEBAQEEAQEBAQEBAQEXAQiIPSsLgmW?= =?us-ascii?q?IJIIxAZEqjGSHHIt/bIEAAWyIKYZpkACEQzYhgQp9CEYSAYJSgl+BP2mIXwEBA?= =?us-ascii?q?Q?= X-IronPort-AV: E=Sophos;i="5.38,345,1491256800"; d="scan'208";a="273183629" Received: from bark.recoil.org ([5.153.225.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 May 2017 16:37:30 +0200 Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 240973ef; Mon, 15 May 2017 15:37:29 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s= selector1; bh=yNAQbo0XZU8FNjVUYtX+wVSWiZk=; b=BCS4eE8PBbPSsEr2n6 LWsCcyyiAhutGvoznI/uwcAjUNPM9r4rVGCAoicXw33B1wWgi/RrgDl4zenxv/qp hCLq8zqYM2i7UgiT5Fx6quZz2wk/XaExsxrtu4OF3fhyOMWVVUWIQw40OXChGT88 hC3S5OLha9gk3RC+o7rmqpdaM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; q=dns; s= selector1; b=OJTddUOIgmXJWF9kgvzZ/I10z3nO9K7IVD5FEiRnMZAH0eLWfT3 WXzyNCf+QCzRYE+Jb65bX52qcwrP/PUgJtfBOr4cZaBFllI3hAw1mue6OaI5O1zQ grVyNAbSQLC45DK31LoP4qiKzddLAOALBbVak7DIzGh9OftwgtZ7NU+0= Received: from [172.20.2.37] (183.62.128.251 [183.62.128.251]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id e104ec45 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Mon, 15 May 2017 15:37:29 +0100 (BST) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) From: Anil Madhavapeddy In-Reply-To: <72b1a5c9-a649-33e9-acac-757a60d9a896@orbitalfox.com> Date: Mon, 15 May 2017 22:37:24 +0800 Cc: caml-list@inria.fr Content-Transfer-Encoding: 7bit Message-Id: <68426E66-B81F-4534-95B1-1AEF1D7A597A@recoil.org> References: <59149DC2025C048200390482_0_27273@msllnjpmsgsv06> <7B2C5D230E264432A259D91C0F5D7096@erratique.ch> <7CC1A434-6814-484D-A2F8-8E9B5BC6C260@recoil.org> <87d1bfnob6.fsf@umons.ac.be> <74046D53-1B0F-4464-87E0-12D0D017875E@logical.net> <72b1a5c9-a649-33e9-acac-757a60d9a896@orbitalfox.com> To: SP X-Mailer: Apple Mail (2.3273) Subject: Re: [Caml-list] discuss.ocaml.org now available On 13 May 2017, at 20:53, SP wrote: > > Thank you for the effort Anil. > > Any chance for HTTPS? I would like to help if you need any. > HSTS has now been activated, so all access to the site is now https:// only! Let me know if there any problems with this. regards, Anil