On Sat, 20 Dec 2014 13:03:23 -0800
Paul Eggert <[email protected]> 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