From debbugs-submit-bounces@debbugs.gnu.org Thu Oct 24 03:26:09 2013
Received: (at control) by debbugs.gnu.org; 24 Oct 2013 07:26:09 +0000
Received: from localhost ([127.0.0.1]:40083 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.80)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1VZFJ2-00039g-Fp
	for submit@debbugs.gnu.org; Thu, 24 Oct 2013 03:26:08 -0400
Received: from fencepost.gnu.org ([208.118.235.10]:46148 ident=Debian-exim)
 by debbugs.gnu.org with esmtp (Exim 4.80)
 (envelope-from <rgm@gnu.org>) id 1VZFIx-00039V-QX
 for control@debbugs.gnu.org; Thu, 24 Oct 2013 03:26:04 -0400
Received: from rgm by fencepost.gnu.org with local (Exim 4.71)
 (envelope-from <rgm@gnu.org>) id 1VZFIx-0007YZ-9H
 for control@debbugs.gnu.org; Thu, 24 Oct 2013 03:26:03 -0400
Date: Thu, 24 Oct 2013 03:26:03 -0400
Message-Id: <E1VZFIx-0007YZ-9H@fencepost.gnu.org>
Subject: control message for bug 15697
To: <control@debbugs.gnu.org>
X-Mailer: mail (GNU Mailutils 2.1)
From: Glenn Morris <rgm@gnu.org>
X-Spam-Score: -5.4 (-----)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -5.4 (-----)

submitter 15697 Stefan Monnier <monnier@iro.umontreal.ca>