From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id qEZ9ILDFvGA5WgAAgWs5BA (envelope-from ) for ; Sun, 06 Jun 2021 14:55:12 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id wOe+G7DFvGCuHQAA1q6Kng (envelope-from ) for ; Sun, 06 Jun 2021 12:55:12 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 1AA7C9ABD for ; Sun, 6 Jun 2021 14:55:11 +0200 (CEST) Received: from localhost ([::1]:59762 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lpsJ3-0002SY-Sm for larch@yhetil.org; Sun, 06 Jun 2021 08:55:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:35248) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lpsIx-0002SL-3D for guix-patches@gnu.org; Sun, 06 Jun 2021 08:55:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39412) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lpsIw-0002Dy-Pj for guix-patches@gnu.org; Sun, 06 Jun 2021 08:55:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lpsIw-0005MD-Hj for guix-patches@gnu.org; Sun, 06 Jun 2021 08:55:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#47768] [PATCH v3 00/42] Assorted OCaml patches Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 06 Jun 2021 12:55:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 47768 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller , 47768@debbugs.gnu.org, pukkamustard@posteo.net Cc: erikl@posteo.net, d@divoplade.fr, maximedevos@telenet.be Received: via spool by 47768-submit@debbugs.gnu.org id=B47768.162298404320520 (code B ref 47768); Sun, 06 Jun 2021 12:55:02 +0000 Received: (at 47768) by debbugs.gnu.org; 6 Jun 2021 12:54:03 +0000 Received: from localhost ([127.0.0.1]:50958 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lpsHy-0005Ku-Sy for submit@debbugs.gnu.org; Sun, 06 Jun 2021 08:54:03 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:55212 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lpsHy-0005KR-0R for 47768@debbugs.gnu.org; Sun, 06 Jun 2021 08:54:02 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1622984036; bh=geeXDByvgH7cqRJuVaCgOsjT+fGFLu2R55VIg4rjd5I=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=StJAfGCYwmzXS9NAXd9hxHk6vHREZCjrLO57zYWDEJr1TQbMmfZWSvelC5X0uRywr K0YAt3+dZ7JhCIicLbE1eFCA6ZYn1cxFYmnCFRpebCxvXwEIhXQW+4r/LaZ+h3M+/Y H1Cu5TKzKx+fqg/KkraCvjyUWBswmC/egvAgubCA= In-Reply-To: <7662B41F-646C-44A3-807C-D4678139619A@lepiller.eu> References: <87lf82hasx.fsf@yoctocell.xyz> <20210601202203.8587-1-pukkamustard@posteo.net> <87czt5xnpf.fsf@yoctocell.xyz> <7662B41F-646C-44A3-807C-D4678139619A@lepiller.eu> Date: Sun, 06 Jun 2021 14:53:53 +0200 Message-ID: <87tumb5f32.fsf@yoctocell.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1622984112; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=vGu21wibLLsX7qPBo8Xz861pvQPQQtDWMg8jM8w+PoA=; b=HKnOz5ymW/4j5SNiz84E7u3RvNogtfi8QXg8cqOVLFN/veyzmzqUVm+YRcfRRkfD5xy8nl vQNCXNS3RnboAXDcISOq0zAypb3wKGuLw25BUbojmMwVEfbfd2ty1Bup8a7f6pnP05lhLG D3b357uwc8sCUeawR6U3OiP0PlR3KHBuMGKv6utWMTQWXxwntQslLLI2PirTVoo+KTmffX I1IgfheXeuvYx+anJBtxOqTsnf+wq4hxZLXi+CWLEETkUu6I5OzQ8hIlR/QZACEzjpGyuj 5l2BlPyH8DLb0q9I+IbHNMEN1XUq0ZtloXb4GlmPEJyXFzuUfzjZJrgoXeMLEQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1622984112; a=rsa-sha256; cv=none; b=bx9GxpduJzrO00vrR2ieEvOZKx1kLH0oK+5TbyEVooSfVmNqPRaFFPXCluk/uW3uS6FGSd jI3RDrNIq/w3SA6jMExsM5iRQBLqhZ1ehuf/nJBUzW9PqwUjeUIn4M9+8ush1EAB8582AS WHF9EwkCPbQ4x3qEZrso2NkP16ubxYdpGE81iH58FxEYrZnu7wPfYWaX/Ikh1NhY97nncD w4rcYUYZi6uVzuukZFpjudoe2jWGvTaU0tQzBxq9Xna9EIIzoPw0EPZA4urjgDJ0NPHUJT tCnbWAPugT/h/TD/N5bXKbakM+hybgw4BN3J2sQTu4a/zSwGP7OyH7rbk0Fqvw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=StJAfGCY; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -3.43 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=StJAfGCY; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 1AA7C9ABD X-Spam-Score: -3.43 X-Migadu-Scanner: scn1.migadu.com X-TUID: zXhCxiGKd1Ql --=-=-= Content-Type: text/plain On Tue, Jun 01 2021, Julien Lepiller wrote: > I keep telling myself I should review and merge the changes but I keep > having better things to do :p. I'll have a look during the week-end if > noone beats me at it :) Friendly ping! :) --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEAVhh4yyK5+SEykIzrPUJmaL7XHkFAmC8xWEVHHB1YmxpY0B5 b2N0b2NlbGwueHl6AAoJEKz1CZmi+1x5ijcP/iwzq7OzKH21RwX/H1s+pcuc8PwB fbaQmjAcSQwGgMUfPKSfu+7jhLErV9TZO7S3snTfbVPfX2ra1Llw89AfjkxYnAxW QtP93BLysHSz6m5OqUDRRzGRwoYvnRVR3N6anzPDtni0JFBcQuQxa03zKvPxluW1 IucK7DiJ+MutJbC7MF1H8ch1STcFq5Sv+RxhFRiWtoXj2EMJUzm5nNK96Sfe4he+ pjd50laBxq32RJa/u+XlIO8gEbl2J9pOHEw/fNTGBzsHkPSMIphFZHnEpz+y4KZE zmafIVWXium5+jU/SpsBXKRMC+E1lMClPMio9SctXxwlwrj29YFkOpu5ozHowpgW w1LTGu+DpwEmjmvi68QBxA5WV/lUcPFwg99mnDMLcYN9NrkrfRnFcD3ebs2z/ghh eMnEw7OlJVjdoUgPZncCdUwrfT/paYrpB46sllSbg2jwKV7pQwRXzDtc6/gaWIPH uhatI8mhyLI6aX9SernliQsPX+yAhjp7yqc5fPr7vd7NyPtKGwyvtsxS3GtqrU+p Fm8lQ0mWgCCrZcWJwi7EECN9kvJKvkco9E6Azze4rYxe2xzMFsW2USZqQht6zB63 6QhJar/ErKh0/ZDJXJwSGJMltB+Cu1NrSjYMHOwoIbhl9uZTJU3hmDPKE0gSwfCm 8MmujqlcHZwaQRVO =3o9N -----END PGP SIGNATURE----- --=-=-=--