Thanks!

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/