bug#12962: close report

[Stefano Lattarini]

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