From debbugs-submit-bounces@debbugs.gnu.org Fri Jul 08 11:31:06 2022 Received: (at control) by debbugs.gnu.org; 8 Jul 2022 15:31:06 +0000 Received: from localhost ([127.0.0.1]:33007 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o9pwR-0007WA-AA for submit@debbugs.gnu.org; Fri, 08 Jul 2022 11:31:06 -0400 Received: from eggs.gnu.org ([209.51.188.92]:55768) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o9pwN-0007Vw-51 for control@debbugs.gnu.org; Fri, 08 Jul 2022 11:30:50 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:44142) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o9pwH-0005rQ-Qo for control@debbugs.gnu.org; Fri, 08 Jul 2022 11:30:41 -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=6HM6qNhEzm54845JWsG1rgO/tUQM7r4l9y6IoAhgRLQ=; b=TW4FCmK18k4Bd0 Q7OT8VLpyDvXrXc1o4zRVMfO9sHROZf8aQjUm1S0a1ryzfw47iIAseMjL8rkT/02JS4FxegQvkwtu qHGQr2l69MuI593NWi8h47fWODjB+0wDZDMyJW70Hs8LSarYPWtLxUSnN6MRA2pM3t32VavNzwnP4 M7OUKId4dhl7eyZnyQLyTRytdYLfGY7J3danEo+DTNFNhcl4lj0otSYnz0+WkdTJ2W0Ac/k5k/ElR RtW5TMJITrz+qyIoCZUsd/Vp6xFOLhY1nTrGS8FcGb42KKTpjRgpleZZPriA3Hv9DX5dgp2Ociy6g F1zAq7jrczO8FMqaaSNA==; Received: from [193.50.110.235] (port=60326 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o9pwF-0003Zs-Lr for control@debbugs.gnu.org; Fri, 08 Jul 2022 11:30:40 -0400 Date: Fri, 08 Jul 2022 17:30:37 +0200 Message-Id: <87zghjtyea.fsf@gnu.org> To: control@debbugs.gnu.org From: =?utf-8?Q?Ludovic_Court=C3=A8s?= Subject: control message for bug #56377 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: -1.0 (-) tags 56377 wontfix close 56377 quit