On Tue, Oct 13, 2015 at 3:31 PM, Paul Eggert <egg...@cs.ucla.edu> wrote: > On 10/13/2015 06:30 AM, Norihiro Tanaka wrote: >> >> First patch fixes the bug. After the patch is applied, bug#21670 >> appears again. And, second patch fixes bug#21670. > > Thanks, I installed both of them after rewording the commit logs a bit, > along with the attached minor further improvement.
Thank you, Paul.