From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 25 08:25:44 2018 Received: (at control) by debbugs.gnu.org; 25 Jun 2018 12:25:45 +0000 Received: from localhost ([127.0.0.1]:34429 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fXQYy-0007nW-O9 for submit@debbugs.gnu.org; Mon, 25 Jun 2018 08:25:44 -0400 Received: from eggs.gnu.org ([208.118.235.92]:58787) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fXQYx-0007nJ-PF for control@debbugs.gnu.org; Mon, 25 Jun 2018 08:25:43 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fXQYo-00083L-8E for control@debbugs.gnu.org; Mon, 25 Jun 2018 08:25:38 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:39657) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fXQYn-000839-WA for control@debbugs.gnu.org; Mon, 25 Jun 2018 08:25:34 -0400 Received: from [193.50.110.137] (port=36298 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fXQYm-0006yy-ID for control@debbugs.gnu.org; Mon, 25 Jun 2018 08:25:33 -0400 Date: Mon, 25 Jun 2018 14:25:30 +0200 Message-Id: <87wounqchx.fsf@gnu.org> To: control@debbugs.gnu.org From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: control message for bug #31925 MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.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: -6.0 (------) severity 31925 serious