Marked Triaged/Medium; this is reported upstream as http://debbugs.gnu.org/cgi/bugreport.cgi?bug=10376. Thanks to Jim for the quick answer.
Marked Triaged/Medium; this is reported upstream as http:// debbugs. gnu.org/ cgi/bugreport. cgi?bug= 10376. Thanks to Jim for the quick answer.