On Thu, Oct 3, 2019 at 6:25 PM Paul Eggert <eggert@cs.ucla.edu> wrote:

Thanks for the bug report. I installed the attached, which should make
things clearer, albeit a bit more tersely than you suggested.

Email: tal@whatexit.org Work: tlimoncelli@StackOverflow.com
Blog: http://EverythingSysadmin.com/