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 B06B58239C for ; Sun, 11 Mar 2018 12:22:56 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mail@maximedenes.fr; spf=Pass smtp.mailfrom=mail@maximedenes.fr; spf=None smtp.helo=postmaster@5.mo178.mail-out.ovh.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mail@maximedenes.fr) identity=pra; client-ip=46.105.51.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mail@maximedenes.fr"; x-sender="mail@maximedenes.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mail@maximedenes.fr designates 46.105.51.53 as permitted sender) identity=mailfrom; client-ip=46.105.51.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mail@maximedenes.fr"; x-sender="mail@maximedenes.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@5.mo178.mail-out.ovh.net) identity=helo; client-ip=46.105.51.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mail@maximedenes.fr"; x-sender="postmaster@5.mo178.mail-out.ovh.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AoXYjOhyEF9cEP8zXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OgVIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRH1li?= =?us-ascii?q?kHOT43/mLZhMN+g61Uog6uqRNkzo7IY4yYLuZycr/TcN4YQ2dKQ8ZfVzZGAoO5?= =?us-ascii?q?d4YBCPAOPOlZr4n4uVQFsBWwAhOqBOT20T9Dm3j73agg3OQgFQHLxwkgEMgBsX?= =?us-ascii?q?TVqdX6KrodXv6zzKbW1jXPdf1W2S3k5YXObxsvoumMUKp/fMfQ00UjCh/Jg1WK?= =?us-ascii?q?pYHlIj+ZzOQAvmaD4+dkSO6jkXMrpgBtrjS128shjojEipgIxl3F9Ch0xps+K8?= =?us-ascii?q?eiR05he9GkFYNdtyGEOItyRcMvW2FltDw/yr0BpJK2fisHxI4ixxHFavyHd5GE?= =?us-ascii?q?4hX+VOaNOzt4g2xleLKlixa070eg1vXwVsiy0FlUsipIitbBu3EX2xDO9sSKSu?= =?us-ascii?q?Fx80e81TqV1w3e5PlIIUUumqraL54hzKQwlp0WsUnbGy/5gkT2jKuNe0Uh4Oep?= =?us-ascii?q?5OXnYrD4qZCBKYB0jB/xMr80lsyxG+Q0KhIOUHSD+eSgyL3j+lX0T6lQgf0zlq?= =?us-ascii?q?nVqZTaJcUApq6lGAJVyYYi6xOnDzi8ytgYnH8HLEhEeB2dlYTpNUvOc7jECqK0?= =?us-ascii?q?ilGo1TNq3OzuP7v7A5yLIGKQvq3meONY4l5dzQd74VFZZ4kcXrQIIfbbX0bhtd?= =?us-ascii?q?nVAhI/PhfyzfyxW4Y17Z8XRW/aWvzRC6jVq1Ldvrt+cdnJX5ccvXPGE9Zg4vfv?= =?us-ascii?q?iXEjnlpEI/us1IsWbX20E/JrOAOXeyi124tTISIxpgM7CdfSphiaSzcKOSS3Vr?= =?us-ascii?q?I94zw3BYSrFsHNXNL12eHT7GKABpRTI1t+JBWMHHPvLdvWBrEJb3vNcolkmz0A?= =?us-ascii?q?EL+8V8kmyxHosgLmmeJq?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ByBwAlEaVahzUzaS5dHAEBAQQBAQoBA?= =?us-ascii?q?YQ5bIM5P5oTgRaWRwqFJQIIgwkZBwEENRMBAgEBAQEBAQEBARIBAQEKCwkIKC6?= =?us-ascii?q?COCKCSgEFDBcPAVYJAhgCAiYCAlcTCAEBhRiLaJ1tgiaEb4NEJ4IagQ2EKIMCg?= =?us-ascii?q?xGDBYVtgjyCYgSaVgl7j2GBWoc4hVaRSIEsNoFydBE6gkSCQYIGjF8BAQE?= X-IPAS-Result: =?us-ascii?q?A0ByBwAlEaVahzUzaS5dHAEBAQQBAQoBAYQ5bIM5P5oTgRa?= =?us-ascii?q?WRwqFJQIIgwkZBwEENRMBAgEBAQEBAQEBARIBAQEKCwkIKC6COCKCSgEFDBcPA?= =?us-ascii?q?VYJAhgCAiYCAlcTCAEBhRiLaJ1tgiaEb4NEJ4IagQ2EKIMCgxGDBYVtgjyCYgS?= =?us-ascii?q?aVgl7j2GBWoc4hVaRSIEsNoFydBE6gkSCQYIGjF8BAQE?= X-IronPort-AV: E=Sophos;i="5.47,455,1515452400"; d="scan'208";a="317386050" Received: from 5.mo178.mail-out.ovh.net ([46.105.51.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Mar 2018 12:22:56 +0100 Received: from player157.ha.ovh.net (unknown [10.109.105.37]) by mo178.mail-out.ovh.net (Postfix) with ESMTP id 7D07B7740E for ; Sun, 11 Mar 2018 12:22:55 +0100 (CET) Received: from [192.168.0.49] (unknown [91.160.196.166]) (Authenticated sender: mail@maximedenes.fr) by player157.ha.ovh.net (Postfix) with ESMTPSA id 51DB450009A for ; Sun, 11 Mar 2018 12:22:55 +0100 (CET) To: caml-list@inria.fr References: <20180103150857.bktw4faavkywm4cw@annexia.org> <07e8a536-984b-850b-6dec-2c30ea0cfb2d@inria.fr> <7397a84c-6593-1afb-4761-4ce4e2730312@maximedenes.fr> From: =?UTF-8?B?TWF4aW1lIETDqW7DqHM=?= Message-ID: <64d456ed-eada-5b98-36a9-90d542b93294@maximedenes.fr> Date: Sun, 11 Mar 2018 12:22:55 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 In-Reply-To: <7397a84c-6593-1afb-4761-4ce4e2730312@maximedenes.fr> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit X-Ovh-Tracer-Id: 1265230020930025759 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrgedtfedrledugddvlecutefuodetggdotefrodftvfcurfhrohhfihhlvgemucfqggfjpdevjffgvefmvefgnecuuegrihhlohhuthemuceftddtnecu Subject: Re: [Caml-list] OCaml reference manual non-free license On 03/11/2018 12:20 PM, Maxime Dénès wrote: > I probably don't understand the license text correctly, since I have > little knowledge on this topic. But just to clarify: if I want to push a > documentation patch to my public github fork of OCaml, do I need to > first get a written approval from Xavier, Damien, Alain, Jacques, > Didier and Jérôme? If not, what exempts me from it (despite the third > item in the license)? Forget about this part, I had missed a message from Gabriel that already answers it. So, no problem there, it seems. Maxime.