On Sat, 20 Dec 2014 13:03:23 -0800
Paul Eggert <egg...@cs.ucla.edu> wrote:

> That sort of thing looks like it'd be reasonably annoying in the long
> run.  How about the attached patch instead?

I confirmed that it had already been committed.

Thanks.


Reply via email to