Re: Bugs related to buffer-local tags-file-name

[Eli Zaretskii]

> From: Josiah Schwab <address@hidden>
> Date: Sat, 26 Nov 2016 09:39:52 -0800
> Cc: address@hidden, address@hidden
> 
> Hello Eli,
> 
> > After applying the patch below, all the test cases posted or discussed
> > in the referenced bugs work as I'd expect.
> 
> I tested this patch against git master (on top of b7f3a30) and this
> resolved all three bugs mentioned in my email.

Dmitry, should I wait for your testing as well, or should I just push
the changes?