Subject: close report
From: Stefano Lattarini <[email-masked]>
To: [email-masked]
Date: Mon, 31 Dec 2012 10:35:59 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Reference: <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=12962>

This report as been superseded by this new one:
<http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13314>

I'm thus closing the old report.

Regards,
 Stefano