From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 6NPvA6nnvGAQlAAAgWs5BA (envelope-from ) for ; Sun, 06 Jun 2021 17:20:09 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id 61HdOqjnvGDtMQAAbx9fmQ (envelope-from ) for ; Sun, 06 Jun 2021 15:20:08 +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 B5E26AF8A for ; Sun, 6 Jun 2021 17:20:08 +0200 (CEST) Received: from localhost ([::1]:38016 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lpuZL-0002Li-KV for larch@yhetil.org; Sun, 06 Jun 2021 11:20:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:51864) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lpuZG-0002LX-MD for guix-patches@gnu.org; Sun, 06 Jun 2021 11:20:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:42165) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lpuZG-0007xT-Fl for guix-patches@gnu.org; Sun, 06 Jun 2021 11:20:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lpuZG-0003aG-BU for guix-patches@gnu.org; Sun, 06 Jun 2021 11:20:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#47768] [PATCH v3 00/42] Assorted OCaml patches Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 06 Jun 2021 15:20: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: Xinglu Chen Cc: pukkamustard@posteo.net, erikl@posteo.net, d@divoplade.fr, 47768@debbugs.gnu.org, maximedevos@telenet.be Received: via spool by 47768-submit@debbugs.gnu.org id=B47768.162299278113736 (code B ref 47768); Sun, 06 Jun 2021 15:20:02 +0000 Received: (at 47768) by debbugs.gnu.org; 6 Jun 2021 15:19:41 +0000 Received: from localhost ([127.0.0.1]:53711 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lpuYv-0003ZU-LS for submit@debbugs.gnu.org; Sun, 06 Jun 2021 11:19:41 -0400 Received: from lepiller.eu ([89.234.186.109]:43832) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lpuYs-0003ZK-PW for 47768@debbugs.gnu.org; Sun, 06 Jun 2021 11:19:39 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id cb64743f; Sun, 6 Jun 2021 15:19:36 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=sZYtVngzxQVc NvSrwOwnZZ6/bSprAHh/4ai03lophPM=; b=ltLoqI4Axo9v5wMGOR7+DTyQ20U6 X4gRWA+ubVDMGn01NpW5+rzRZq5Fqs89HLyyyFHIlvXL160vtam5C37vv1OZ1WUT 4MT0lgTIT/jtveKd3Nms4mfMIG5JUl5ywv40TnSyC6okm7kJLoFDBC2W5CjVfjSg qDA/NKitD0Gu70ItYL6bOfEQ+cL0bAL/EpS2+0i58kSZzaqgYo4FPXuDS0ggpiBw 1WZTd8FBn3urNaUO3e9runsCJJFXVmfQ4qgLkPGTbQVQTP+rM9E6O9JeYeK/gWGR e+gAuWGQVm8MzfhTM8z6fTwbyvu9wDc5+5yWFTDlwPF60c+t5ZG3L0q1zQ== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id ac18799f (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Sun, 6 Jun 2021 15:19:35 +0000 (UTC) Date: Sun, 6 Jun 2021 17:19:23 +0200 From: Julien Lepiller Message-ID: <20210606171923.655b1186@tachikoma.lepiller.eu> In-Reply-To: <87tumb5f32.fsf@yoctocell.xyz> References: <87lf82hasx.fsf@yoctocell.xyz> <20210601202203.8587-1-pukkamustard@posteo.net> <87czt5xnpf.fsf@yoctocell.xyz> <7662B41F-646C-44A3-807C-D4678139619A@lepiller.eu> <87tumb5f32.fsf@yoctocell.xyz> X-Mailer: Claws Mail 3.17.8 (GTK+ 2.24.32; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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=1622992808; 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: content-transfer-encoding:content-transfer-encoding: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=92quMmBiyrkR3ydUU5kfvlf+MEdHGdbo+YjlCLEGo7o=; b=TzH700LJnPpVi8uj8oLoxCHIhiGW7IqijQoIiiaXytm8R02gHDdZH+Xc4V02DXtViRhWW8 rUgp3gSYk3lv19OFUc+TYjXqlFjL2/QwYl4r9HojDncj10OOnVv5PbuuLrCOI0BTVrp8T9 djWQ8tOh9khMUXCGskRSJaYyyTE7F/3TClkOBn87nKDADDWmZtlJfcUg8iOxNPcV10yuwC csY3nTe/sh0m6VCwDiR4gKKSkyWiqcVWZEQdl+oYnrBUPJmD0S6XBqj9Q91b5fXyLULI71 KLJHUFAE4sdJ69LNO2/Sv+LoBspJY30ouejs49qR9e4Ii81VgZfiFfew5o6mFQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1622992808; a=rsa-sha256; cv=none; b=cFuAtIiMQrSsRqfzycr26DFA2tkzKXIbAbpQsh02ikzaK/eM1Kd+njfRMnqWG5I6ozdLtq RXCaXErx6N0dksYsNNjyJUI/2DRgAXc6XClRvzfZDtNE8SzHU1A6KJrK8bVb5MMKMC5546 d6TZDFOpZFBi1bIgHm2Sl+QxYldKxGXm6NJyNkHhdvgWKYRfP6JG/zQUeHfdjTsOeAQ8zw gJxmrl1RwTn28Sob70HBO6uj3yLcUtFzrIb1siUiVdDJ/qKXYThSttg4t2Wge18Du36OPW Tt2UoMb75lwN4gfhQJPLWdrsoV5lEnH5ixQyd5Sq0/W1GDXcLQzhOP6Oz9OOqw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=ltLoqI4A; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (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: -1.33 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=ltLoqI4A; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (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: B5E26AF8A X-Spam-Score: -1.33 X-Migadu-Scanner: scn1.migadu.com X-TUID: I2b3FCdYonQd Le Sun, 06 Jun 2021 14:53:53 +0200, Xinglu Chen a =C3=A9crit : > On Tue, Jun 01 2021, Julien Lepiller wrote: >=20 > > 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 :) =20 >=20 > Friendly ping! :) >=20 Alright, I managed to review and push the first 20 patches, as b477a9f42e52cf07e05add0632bc01e9d268dd55 to 52dc188e12fe80dfe13ba04f995081beedde6358. I'll try to take some more time later to push the rest. Not sure I can do that today though.