From debbugs-submit-bounces@debbugs.gnu.org Sun May 20 16:34:30 2018 Received: (at control) by debbugs.gnu.org; 20 May 2018 20:34:30 +0000 Received: from localhost ([127.0.0.1]:42148 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fKV2E-0006Vs-Kx for submit@debbugs.gnu.org; Sun, 20 May 2018 16:34:30 -0400 Received: from eggs.gnu.org ([208.118.235.92]:38825) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fKV2C-0006Ve-SW for control@debbugs.gnu.org; Sun, 20 May 2018 16:34:29 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fKV27-0005Tv-2W for control@debbugs.gnu.org; Sun, 20 May 2018 16:34:23 -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]:36951) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fKV26-0005Tm-V1 for control@debbugs.gnu.org; Sun, 20 May 2018 16:34:22 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=47930 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fKV26-0007Bi-Gd for control@debbugs.gnu.org; Sun, 20 May 2018 16:34:22 -0400 Date: Sun, 20 May 2018 22:34:21 +0200 Message-Id: <87y3gem5gy.fsf@gnu.org> To: control@debbugs.gnu.org From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: control message for bug #31418 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 (------) tags 31418 fixed close 31418