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