On 11/28/2017 11:03 AM, Pádraig Brady wrote:
> Attached is a diff to change to using sed.

Thanks, I merged your changes.

Please note that this new check only works with the patch applied
discussed at:
   http://lists.gnu.org/archive/html/coreutils/2017-11/msg00037.html

Thanks & have a nice day,
Berny