From debbugs-submit-bounces@debbugs.gnu.org Sun Apr 05 10:28:47 2020 Received: (at control) by debbugs.gnu.org; 5 Apr 2020 14:28:47 +0000 Received: from localhost ([127.0.0.1]:46455 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jL6GU-0007kM-TO for submit@debbugs.gnu.org; Sun, 05 Apr 2020 10:28:47 -0400 Received: from relay1-d.mail.gandi.net ([217.70.183.193]:4101) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jL6GS-0007jq-LM for control@debbugs.gnu.org; Sun, 05 Apr 2020 10:28:45 -0400 Received: from webmail.gandi.net (webmail18.sd4.0x35.net [10.200.201.18]) (Authenticated sender: brice@waegenei.re) by relay1-d.mail.gandi.net (Postfix) with ESMTPA id 45B89240004 for ; Sun, 5 Apr 2020 14:28:37 +0000 (UTC) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Sun, 05 Apr 2020 14:28:37 +0000 From: Brice Waegeneire To: control@debbugs.gnu.org Subject: merge 36264 30939 Message-ID: <10441295b633fc99948b7eed4aad51f3@waegenei.re> 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 (-) severity 36264 important merge 36264 30939 quit