From debbugs-submit-bounces@debbugs.gnu.org Thu Jun 07 12:11:35 2018 Received: (at control) by debbugs.gnu.org; 7 Jun 2018 16:11:35 +0000 Received: from localhost ([127.0.0.1]:38364 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fQxVf-00023n-Bi for submit@debbugs.gnu.org; Thu, 07 Jun 2018 12:11:35 -0400 Received: from eggs.gnu.org ([208.118.235.92]:53981) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fQxVc-00023Z-4L for control@debbugs.gnu.org; Thu, 07 Jun 2018 12:11:32 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fQxVT-0007tC-2o for control@debbugs.gnu.org; Thu, 07 Jun 2018 12:11:27 -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]:57418) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fQxVT-0007t6-00 for control@debbugs.gnu.org; Thu, 07 Jun 2018 12:11:23 -0400 Received: from [193.50.110.75] (port=41186 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fQxVS-0005fz-HQ for control@debbugs.gnu.org; Thu, 07 Jun 2018 12:11:22 -0400 Date: Thu, 07 Jun 2018 18:11:21 +0200 Message-Id: <87efhibmqe.fsf@gnu.org> To: control@debbugs.gnu.org From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: control message for bug #31598 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 31598 31714