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.
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.