Op Sun, 10 Aug 2014 16:31:10 -0700 schreef Paul Eggert <egg...@cs.ucla.edu>:
> Thanks for re-reporting that. I didn't see a patch in your email, > but I installed one (attached); please give it a try. Sorry, forgot to attach mine. Yours is cleaner anyway and works fine. Thanks for the fix.
