Subject: bug#15113: close

From: Stefano Lattarini <[email-masked]>
Date: Wed, 30 Oct 2013 21:14:20 +0000

tags 15113 notabug
close 15113
thanks

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

Eric pointed out already that there is no real bug here, and the
OP hasn't posted any further feedback in the last month and a
half.  I'm thus closing the bug to avoid keeping our already
lamentably full tracker even more cluttered.

Regards,
  Stefano