From debbugs-submit-bounces@debbugs.gnu.org Fri Jun 02 10:45:21 2023 Received: (at 62293-done) by debbugs.gnu.org; 2 Jun 2023 14:45:21 +0000 Received: from localhost ([127.0.0.1]:40621 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q561p-0000I4-HA for submit@debbugs.gnu.org; Fri, 02 Jun 2023 10:45:21 -0400 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]:53379) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q561l-0000Hm-R9 for 62293-done@debbugs.gnu.org; Fri, 02 Jun 2023 10:45:19 -0400 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.95) for 62293-done@debbugs.gnu.org with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1q561k-004Bef-5a; Fri, 02 Jun 2023 16:45:16 +0200 Received: from cinnamon.physik.fu-berlin.de ([160.45.66.15]) by inpost2.zedat.fu-berlin.de (Exim 4.95) for 62293-done@debbugs.gnu.org with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1q561k-003tQh-0P; Fri, 02 Jun 2023 16:45:16 +0200 Message-ID: Date: Fri, 2 Jun 2023 16:45:15 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.11.0 Content-Language: de-DE To: 62293-done@debbugs.gnu.org From: Arvid Krein Subject: Done: Patch was pushed as commit a7d9cd742c3149bb014db95f88d1158d590bc124 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Originating-IP: 160.45.66.15 X-ZEDAT-Hint: PTO X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 62293-done 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 (---) This Patch was merged in commit a7d9cd742c3149bb014db95f88d1158d590bc124 so I am marking it as done. Greetings, Arvid