From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 17 10:16:56 2020 Received: (at control) by debbugs.gnu.org; 17 Mar 2020 14:16:57 +0000 Received: from localhost ([127.0.0.1]:39377 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jED1c-00089h-Lq for submit@debbugs.gnu.org; Tue, 17 Mar 2020 10:16:56 -0400 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:39565) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jED1Z-00088x-R2 for control@debbugs.gnu.org; Tue, 17 Mar 2020 10:16:54 -0400 Received: from webmail.gandi.net (webmail18.sd4.0x35.net [10.200.201.18]) (Authenticated sender: brice@waegenei.re) by relay5-d.mail.gandi.net (Postfix) with ESMTPA id 64B451C000F for ; Tue, 17 Mar 2020 14:16:46 +0000 (UTC) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Tue, 17 Mar 2020 14:16:46 +0000 From: Brice Waegeneire To: control@debbugs.gnu.org Subject: merge 40103 40104 Message-ID: X-Sender: brice@waegenei.re User-Agent: Roundcube Webmail/1.3.8 X-Spam-Score: -0.7 (/) 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.7 (-) merge 40103 40104