This bug has been reported to the developers of the software. You can track it and make comments at:
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13703
This bug has been reported to the developers of the software. You can track it and make comments at:
http:// debbugs. gnu.org/ cgi/bugreport. cgi?bug= 13703