From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id oEhGEq2zsmLOJAAAbAwnHQ (envelope-from ) for ; Wed, 22 Jun 2022 08:16:13 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id mPxEEq2zsmKSrgAA9RJhRA (envelope-from ) for ; Wed, 22 Jun 2022 08:16:13 +0200 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 021AB9693 for ; Wed, 22 Jun 2022 08:16:13 +0200 (CEST) Received: from localhost ([::1]:48450 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o3teu-0004mU-3p for larch@yhetil.org; Wed, 22 Jun 2022 02:16:12 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:43068) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o3tek-0004lw-Bk for guix-patches@gnu.org; Wed, 22 Jun 2022 02:16:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39860) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1o3tek-0003Os-25 for guix-patches@gnu.org; Wed, 22 Jun 2022 02:16:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1o3tej-0005f8-V8 for guix-patches@gnu.org; Wed, 22 Jun 2022 02:16:01 -0400 Subject: bug#56121: [PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697. Resent-From: Nicolas Goaziou Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Wed, 22 Jun 2022 06:16:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 56121 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Zhu Zihao Cc: 56121-done@debbugs.gnu.org Mail-Followup-To: 56121@debbugs.gnu.org, mail@nicolasgoaziou.fr, all_but_last@163.com Received: via spool by 56121-done@debbugs.gnu.org id=D56121.165587851021695 (code D ref 56121); Wed, 22 Jun 2022 06:16:01 +0000 Received: (at 56121-done) by debbugs.gnu.org; 22 Jun 2022 06:15:10 +0000 Received: from localhost ([127.0.0.1]:33757 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o3tdu-0005dr-Kh for submit@debbugs.gnu.org; Wed, 22 Jun 2022 02:15:10 -0400 Received: from relay1-d.mail.gandi.net ([217.70.183.193]:60449) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o3tds-0005dY-Lp for 56121-done@debbugs.gnu.org; Wed, 22 Jun 2022 02:15:09 -0400 Received: (Authenticated sender: admin@nicolasgoaziou.fr) by mail.gandi.net (Postfix) with ESMTPSA id 8BA13240008; Wed, 22 Jun 2022 06:15:01 +0000 (UTC) From: Nicolas Goaziou References: <86k09ap8o5.fsf@163.com> Date: Wed, 22 Jun 2022 08:14:59 +0200 In-Reply-To: <86k09ap8o5.fsf@163.com> (Zhu Zihao's message of "Tue, 21 Jun 2022 19:17:11 +0800") Message-ID: <87letpmdgc.fsf@nicolasgoaziou.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain 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 X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1655878573; 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-to: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; bh=oNz/lJnbAWlUD9g6jdwbIXOW9OTLjk18Om++2pOWuM4=; b=VLL120hf5FvkqEnmSA44IqE9u+QXTKD1oMT/+Ccez5mubV8tPst9mVOw+spxm8qORZG1G4 12Q1ho76V81gyB4SitkLiLGC4f1hpxRwdlMVOawAG58Z2e+RVwBbOqgWpCi82fOu2CV9m1 uAkDq05puKDYgghpqLM3BLPY1VqFyQpW8VCUrqDVpsJgFw9BvoL48q9XjqiEm9dDBavhoq PuE8VC77JUBI96Wfn6nI0mVoKHP974e0n2shsxVFamJyScVQKmrSznyKdr0RpUWFPp0cIb O5cDKWORAQ0MlfICggDsaCBApfDCkFs9sfrr11vGjzOx0nB4tKx7ax5kH94zsA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1655878573; a=rsa-sha256; cv=none; b=IEjpCX9s2cG3pJw9RXuv2DiJKsxupXSrRMRvcL49ZWfg9s3cBwzclpZxarkUzk6yrVo0b1 4x84EJWrI7/j7BRcpjzYWAsN0vLHKrHG7JygOpi3mZS0ZSSO+SHY294MdaJ9vWMWJSpMBW wNMJU1qjMm8a15TBD0lw2KmyNNivoLFYa/MQEtFh7gp5OaIibt7Tedlv52q21nvY+ykTuU kSqYSc8nHsSEy0RX/v8x+8bWJJG69YiQ1MXEh8VLRGNjnSfRKvrIQeVHX2T6rrjeRMr1mX CyxRTBeToFFn1YAK3FKsplcNEMdsUA7n0I93WlzZ5BwePGNCsVGOj+exZ4pS6A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -2.26 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 021AB9693 X-Spam-Score: -2.26 X-Migadu-Scanner: scn0.migadu.com X-TUID: Mzp33qQFYTMG Hello, Zhu Zihao writes: > Subject: [PATCH] gnu: emacs-idris-mode: Update to 1.0-1-9bc7697. Applied. Thank you. Regards, -- Nicolas Goaziou