Oct. 23, 2017
7:07 p.m.
Paul Eggert wrote:
Thanks for reporting the problem. The attached patch should fix the issue that you mentioned. I installed it into the development version. Please give it a try.
Works for me. Do you intend to make a quick 2017d for this issue? I'd like to know whether to fudge 2017c manually or to wait. -zefram