From debbugs-submit-bounces@debbugs.gnu.org Sat May 13 19:40:06 2023 Received: (at control) by debbugs.gnu.org; 13 May 2023 23:40:06 +0000 Received: from localhost ([127.0.0.1]:39922 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pxyqM-0007G3-7b for submit@debbugs.gnu.org; Sat, 13 May 2023 19:40:06 -0400 Received: from eggs.gnu.org ([209.51.188.92]:42452) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pxyqK-0007FP-Fx for control@debbugs.gnu.org; Sat, 13 May 2023 19:40:05 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pxyqE-0003n2-Uo for control@debbugs.gnu.org; Sat, 13 May 2023 19:39:58 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-version:Subject:From:To:Date:in-reply-to: references; bh=l99lBu2RQuL1bPs2MMaUkbO96Q6SEbbil1Hs7uCvboQ=; b=DSQPMdyIuPzo3p P02uxq4AG+9WiCjDisr5sV+ad1qHFUjz97hxTalHjpxj++mKIakBdJh0e985qkPXY3QM+rHZb2aqD MFP00uKmUsvLJL/o060qbFaA8PTvzOMDjzmZLa8+R3JZ4roZcWIpn1fXDONPbBAka3iPKtu8IHQuC 7JAdKT8FqaSNNlx+cwYwdjKgvni79ZaPfpq/E4Wmg6+yJ5Brb44cFMETAifN8vnhN/bwzcw4pWF13 3IYoTu9koi3d9qP3lGUCDgtlRknxq37iDmoAsaitljsJz9UICVhSEwQlyqgFBaDvXdV/CpKrEmILG P08lXxMYb50qapy7SW+A==; Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pxyqB-0001vB-OG for control@debbugs.gnu.org; Sat, 13 May 2023 19:39:58 -0400 Date: Sun, 14 May 2023 01:39:49 +0200 Message-Id: <87r0rjx0l6.fsf@gnu.org> To: control@debbugs.gnu.org From: =?utf-8?Q?Ludovic_Court=C3=A8s?= Subject: control message for bug #63443 MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) severity 63443 important quit