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
