From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id iE9mFz9JjV8wWQAA0tVLHw (envelope-from ) for ; Mon, 19 Oct 2020 08:07:27 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id gI1mEz9JjV+JLQAAbx9fmQ (envelope-from ) for ; Mon, 19 Oct 2020 08:07:27 +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 E892B9402A2 for ; Mon, 19 Oct 2020 08:07:26 +0000 (UTC) Received: from localhost ([::1]:57868 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kUQCT-0003m9-2y for larch@yhetil.org; Mon, 19 Oct 2020 04:07:25 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:55704) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kUQ5L-0005tF-98 for guix-patches@gnu.org; Mon, 19 Oct 2020 04:00:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:56522) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kUQ5K-0002KB-Pq for guix-patches@gnu.org; Mon, 19 Oct 2020 04:00:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kUQ5K-0002bO-NU for guix-patches@gnu.org; Mon, 19 Oct 2020 04:00:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#43809] [PATCH v2] gnu: emacs-tuareg: Update to 2.2.0-0.ccde45b. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 19 Oct 2020 08:00:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 43809 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Nicolas Goaziou Cc: 43809@debbugs.gnu.org Received: via spool by 43809-submit@debbugs.gnu.org id=B43809.16030943589893 (code B ref 43809); Mon, 19 Oct 2020 08:00:02 +0000 Received: (at 43809) by debbugs.gnu.org; 19 Oct 2020 07:59:18 +0000 Received: from localhost ([127.0.0.1]:39825 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kUQ4c-0002ZV-0i for submit@debbugs.gnu.org; Mon, 19 Oct 2020 03:59:18 -0400 Received: from mail-qk1-f195.google.com ([209.85.222.195]:44958) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kUQ4a-0002ZI-2w for 43809@debbugs.gnu.org; Mon, 19 Oct 2020 03:59:17 -0400 Received: by mail-qk1-f195.google.com with SMTP id s14so7092196qkg.11 for <43809@debbugs.gnu.org>; Mon, 19 Oct 2020 00:59:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=lLQRAKQ/3iARWFlck5H3ASTK1Hm6FnX9eJOYiGA/PhA=; b=dfQngmx7o/UeedXZEm/AhHgAZqZDr9FR1V1rRLNE3KIs5oBHnZUzQMI1HfT8/ifnQi dY9ZcaDSIOSovxr0jgrXks6Bt97IuFDq7EESuNTO73FVtC0xZLTNGpL5UjrvR9s41YSc iBbaVUiYqZLc/zVgYMr62oaNyBeSHxE6d7MkPKghpRsmeSW8loGn27a1vdnLArlBQyyX xpznhvmS5SLH0+DKjabVzhbPgJnEm2+C89TGATGXWerMEJJpdQCfq9Bdh8xdpNFHQr/2 2pv4UhOdGHRZIvbbjyLiIC+W4n1Ab2nv20znKQJ5Pdz7R+mbM1GJBr6LM8knqn7gSmlU 36zA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=lLQRAKQ/3iARWFlck5H3ASTK1Hm6FnX9eJOYiGA/PhA=; b=j866yqZ/RMuNuzvYIRkgPPY6Cj9OKFNmOwRu0uv4zwXA+AKPgC+QXdB0WxHnnHHUnJ jVEd1ad1htZekNqxf5LmZHzQNEJCeyPMGd+lXw/rFmoTBIqKTRpHouhifEsldmCtnemA DAb0iYSEKrJi8xd5Z3Tf5vOWwpQBNTvgNN5zmlv4WGA/YDGOHcUJAGGDPUMDqd1A6kBg MjBrmlSFN1IlRnWLzGL8kFfhcwRodSL5uXR5S9p1bN/7wyVTYFMn9oM/hZDHZ7wBEkGU 0vZMM7x3yzrtHZbLR4ZbkJpxgD/7TpIpnGHs/gFLAKGI1rVenG5Scoj2wYFI28Aaq2Y+ kOtQ== X-Gm-Message-State: AOAM531h5FlbHfsXCypqYdzqpv70GpQ/4E/1ZTd4qn+7Wz8DeN/3w9te VgXwFLAe2uA9IGp0586gnljqVvvkZMZnJqfhL9UuFPk6Fqs= X-Google-Smtp-Source: ABdhPJxILB7ojxTLZSERY+FiMtBY60Gt/EdAPkrRCPl5CwLvvy1OGEfqEUAeyfsIeDRIo1si9xkFQI14DzIyfjQz4Fs= X-Received: by 2002:a37:a2cd:: with SMTP id l196mr13865443qke.201.1603094350514; Mon, 19 Oct 2020 00:59:10 -0700 (PDT) MIME-Version: 1.0 References: <20201005072342.17369-1-zimon.toutoune@gmail.com> <20201008222532.19034-1-zimon.toutoune@gmail.com> <87a6wq60rw.fsf@nicolasgoaziou.fr> <871ri25uyg.fsf@nicolasgoaziou.fr> <86pn5mmm7f.fsf@gmail.com> In-Reply-To: <86pn5mmm7f.fsf@gmail.com> From: zimoun Date: Mon, 19 Oct 2020 09:58:58 +0200 Message-ID: Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.0 (-) 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-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=gmail.com header.s=20161025 header.b=dfQngmx7; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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-Spam-Score: 0.09 X-TUID: /feGU6OQjFF7 Hi Nicolas, Friendly ping. The patch is attached to: Tell me if something does not like correct. All the best, simon