[1] http://debbugs.gnu.org/cgi/bugreport.cgi?bug=4958
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
I edited the two .el files as suggested in this very similar upstream
bug report [1], but it doesn't work for me.
