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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 4F3F58015E for ; Sat, 3 Jun 2017 15:05:03 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=xramtsov@gmail.com; spf=Pass smtp.mailfrom=xramtsov@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f42.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of xramtsov@gmail.com) identity=pra; client-ip=209.85.215.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xramtsov@gmail.com"; x-sender="xramtsov@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of xramtsov@gmail.com designates 209.85.215.42 as permitted sender) identity=mailfrom; client-ip=209.85.215.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xramtsov@gmail.com"; x-sender="xramtsov@gmail.com"; 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@mail-lf0-f42.google.com) identity=helo; client-ip=209.85.215.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xramtsov@gmail.com"; x-sender="postmaster@mail-lf0-f42.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AwdVjPxER9RPCEm+pVSDcU51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zoM+wAkXT6L1XgUPTWs2DsrQf2rSQ7v+oGTRZp83Q7zZaKN0EfiRGoP?= =?us-ascii?q?tVtjRjOvLNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMj4ZvLqc8xgHJr3ZKZu?= =?us-ascii?q?9awX9kKU+Jkxvy4sq9/oRv/zhMt/4k6sVNTbj0c6MkQLNXCzgrL3o76Mr3uxfd?= =?us-ascii?q?UACB/GEcUmIYkhpJBwjK8hT3VYrvvyX5q+RwxjCUMdX5Qr4oVzui6bxrSALzhy?= =?us-ascii?q?ccKzE56mDXhddug69dvRmsugZww4/QYIGSKfp+YqbQds4USGZdQspcUTFKD5ii?= =?us-ascii?q?ZIUTEeUOIedYr5H8p1QQqxu+GRKsD/7rxjNRm3P6wbE23+EnHArb3gIvAsgOvW?= =?us-ascii?q?zaotv1KqkcTOO7w6vGzTvEYPxZxTjz5ZPUch0ju/yAQah9fdbPxUQpCgjLjk+Q?= =?us-ascii?q?qYvgPz6N2eoNrWeb4PRmVeOvlmUprgFxoiK1yccplonJnYUVyk7Z/ih+z4c1P8?= =?us-ascii?q?e3SEtnYd6/F5tQqTqXN4RzQsw4QmFovDw2xaEBuZ6+ZSUHzoksyRDYa/yCaYeI?= =?us-ascii?q?4xTjWf6eITd5mHJleK+/iA2o/Ue8ze38U8+520tJoCpditTAqGwB2hjJ5sWESv?= =?us-ascii?q?Zx5Fmt1SuP2gzJ5exIP1g4mKTGJ5I737I9lYcfvV7NEyPogkn7g66be0M58eay?= =?us-ascii?q?8evneK/pppqEOo90lA7+NqMul9S6AesiMwgOW3GX+eCy1LH/5EH5TrpHguMsnq?= =?us-ascii?q?nWt5DaIssbpqqnDANPzokj7BO/Ay+n0NQeg3YHMEpIdAybg4XtIV3DI/D1Ae2h?= =?us-ascii?q?j1ixkDpn3f/LMqP5DpXINHfDkbPhfbhn605bzQo+1d9e54hOBbEEPPLzQUjxtM?= =?us-ascii?q?LDAx82Ngy72efnCNFn2owCXmKPB7eVMLnOvl+Q+uIvP+6MaZcJtznnLvgl4+fi?= =?us-ascii?q?jXs4mV8GYamkxoAXaXC9HvR+OUqVe3vsgtEbEWcLpAUyVuLqiEfRGQJUMl27Wq?= =?us-ascii?q?Z0wjAgFMryBo7GQsWpgaed9Ca9BJxfIG5cXAOiC3DtIqiaVPoKeWqxItVolyAf?= =?us-ascii?q?UqbpH5873BSyrwjk47ViJ+vQvCYfsMSwh5BO++TPmERqpnRPBMOH3jTIFjkskw?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BoAACeszJZhirXVdFcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhAQLgQ2ODJBRAQEGgSiVfYIQLIVuAQEIAoJ8PxgBAQEBAQEBAQE?= =?us-ascii?q?BARIBAQEICwsIKC+CMyQBgkEBAgIBOgYBGx4DAQsGBSETEg8SAhEBBQECGgYTi?= =?us-ascii?q?hEBAwgFCAQMoQg/jgsFARyDCgWDYgoZJw1WgnkBAQEBBgEBAQEcAgEFCQEIhgm?= =?us-ascii?q?FRYJYiAUFkTOMRTuHIoczhEsNgW4BiQ+Gfos8h1szgRUfgUJRIxVGhHcfgXNzi?= =?us-ascii?q?W0BAQE?= X-IPAS-Result: =?us-ascii?q?A0BoAACeszJZhirXVdFcHAEBBAEBCgEBFwEBBAEBCgEBhAQ?= =?us-ascii?q?LgQ2ODJBRAQEGgSiVfYIQLIVuAQEIAoJ8PxgBAQEBAQEBAQEBARIBAQEICwsIK?= =?us-ascii?q?C+CMyQBgkEBAgIBOgYBGx4DAQsGBSETEg8SAhEBBQECGgYTihEBAwgFCAQMoQg?= =?us-ascii?q?/jgsFARyDCgWDYgoZJw1WgnkBAQEBBgEBAQEcAgEFCQEIhgmFRYJYiAUFkTOMR?= =?us-ascii?q?TuHIoczhEsNgW4BiQ+Gfos8h1szgRUfgUJRIxVGhHcfgXNziW0BAQE?= X-IronPort-AV: E=Sophos;i="5.39,290,1493676000"; d="scan'208";a="227190916" Received: from mail-lf0-f42.google.com ([209.85.215.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 03 Jun 2017 15:04:57 +0200 Received: by mail-lf0-f42.google.com with SMTP id o83so6053963lff.3 for ; Sat, 03 Jun 2017 06:04:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:subject:message-id:in-reply-to:references:mime-version :content-transfer-encoding; bh=rR2N/pCtekb+/YknLZ02UjKchokkbJQtszvmUBKuSXE=; b=V5GlYARFdmXEA8XKLSLfju4pLAFO31mOrNKB8MtpNd3avUG1iGnuIZ0MTFCbfSQED/ 7iCg1aaZFlRRd0WF0PZVLj949YE2cT8iXMqktO5hxK72wu25dFBSB74taKchyiQjOBJO cruR2LuSrIXbEnmU4CPTYgEYBntCQ6PTXgnDeF7WaFqMlgrbZxmsiRl1sIEmWAzj+gY1 DRP+EYnQvV/Uq+KzZ5aMRnOFrZaTtXG2TI0mLtGTYFrsInBGqUUksTwGsMmPmFViII6H ai25VY/79GTk/rIwfMgfZDI1FVas9stQFwur9gT1HXbLWG7dcOurap+dOT7g8XlVmsUQ mQyg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:subject:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=rR2N/pCtekb+/YknLZ02UjKchokkbJQtszvmUBKuSXE=; b=T15dKHN/J5ZMfjU7ttEKiGarpZEGBu0Dg2jSdnG2ZwKtg+N6JhuGyOcNtvv80W4bDI Gx0kOAwEyOVfrGmpjAgE7fA+hmG5xQvz04sg1T4RlvLV2oB8ONJDjXl3hd5kVxqtZZ+i MOdWgk4Y0hpZOMcLjH09ZDR2NOOYaNgqMfZ94EvvTmeDJ5hmI7Mi0cQ58Zyr/u8fKEoW Q3zDaPLenWVNG0XzST+bs80QZp1DcwRdyarv8LxtLpPWEaatxiiUCKZtPb52JupZdgL+ DaQ52aWUHW6Waagj+3j/j0AI6yjBlJGIdCKzxU7poYkv2L+vrRZhMyI4rO5fyASPpoXn mQjg== X-Gm-Message-State: AODbwcAqCgViswlY7P46LiJs+ljHeLzRI4MOEA5MHpgeA1JBBxuDt96q sensSfaSWRYNNatB X-Received: by 10.25.225.18 with SMTP id y18mr3616848lfg.34.1496495096445; Sat, 03 Jun 2017 06:04:56 -0700 (PDT) Received: from zinid.ru ([31.181.32.46]) by smtp.gmail.com with ESMTPSA id r80sm1854477lfr.65.2017.06.03.06.04.55 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 03 Jun 2017 06:04:55 -0700 (PDT) Date: Sat, 3 Jun 2017 16:04:54 +0300 From: Evgeny Khramtsov To: Caml List Message-ID: <20170603160454.3da71f82@zinid.ru> In-Reply-To: References: <20170602173221.0583a14c@zinid.ru> <20170602150557.GA91690@www1.g3.pair.com> <20170603082654.569c6edf@zinid.ru> X-Mailer: Claws Mail 3.13.2 (GTK+ 2.24.22; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Delimcc bug Sat, 3 Jun 2017 10:08:12 +0100 Jeremy Yallop wrote: > The best way to achieve this is to send a pull request to the > opam-repository repository: > > https://github.com/ocaml/opam-repository/pulls Done: https://github.com/ocaml/opam-repository/pull/9401 Thanks for the tip :)