bug#15113: close

[Stefano Lattarini]

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