> From: Robert Weiner <rsw@gnu.org>
> Date: Sun, 17 Dec 2017 23:33:04 -0500
> Cc: 23623@debbugs.gnu.org
>
> I have made this requested change and herein attach the patch. I hope
> you can integrate it sometime.
Thanks. I have a few minor comments: