From debbugs-submit-bounces@debbugs.gnu.org Mon May 14 04:26:31 2018 Received: (at control) by debbugs.gnu.org; 14 May 2018 08:26:32 +0000 Received: from localhost ([127.0.0.1]:33189 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fI8oR-0007ai-Ot for submit@debbugs.gnu.org; Mon, 14 May 2018 04:26:31 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:58865) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fI8oP-0007aE-0k for control@debbugs.gnu.org; Mon, 14 May 2018 04:26:29 -0400 X-IronPort-AV: E=Sophos;i="5.49,399,1520895600"; d="scan'208";a="265096442" Received: from unknown (HELO ribbon) ([193.50.110.240]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 14 May 2018 10:26:28 +0200 Date: Mon, 14 May 2018 10:26:28 +0200 Message-Id: <87vabqbq2z.fsf@gnu.org> To: control@debbugs.gnu.org From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: control message for bug #31442 MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -4.0 (----) 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: -5.0 (-----) merge 31442 31444