Thanks! On Thu, Oct 3, 2019 at 6:25 PM Paul Eggert <egg...@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: t...@whatexit.org Work: tlimonce...@stackoverflow.com Blog: http://EverythingSysadmin.com/
