From debbugs-submit-bounces@debbugs.gnu.org Sun Nov 11 12:11:43 2018 Received: (at control) by debbugs.gnu.org; 11 Nov 2018 17:11:43 +0000 Received: from localhost ([127.0.0.1]:46651 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gLtGw-0005NA-Vu for submit@debbugs.gnu.org; Sun, 11 Nov 2018 12:11:43 -0500 Received: from eggs.gnu.org ([208.118.235.92]:56182) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gLtGu-0005Mu-MR for control@debbugs.gnu.org; Sun, 11 Nov 2018 12:11:42 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gLtGi-0006Ms-SI for control@debbugs.gnu.org; Sun, 11 Nov 2018 12:11:30 -0500 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]:50672) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gLtGg-0006Lv-Ph for control@debbugs.gnu.org; Sun, 11 Nov 2018 12:11:28 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=56638 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1gLtGf-0002l7-Ri for control@debbugs.gnu.org; Sun, 11 Nov 2018 12:11:26 -0500 Date: Sun, 11 Nov 2018 18:11:24 +0100 Message-Id: <87efbrr137.fsf@gnu.org> To: control@debbugs.gnu.org From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: control message for bug #31023 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 (------) merge 31023 33343