On 2020-05-23 18:13, Pádraig Brady wrote:
> +1

Thanks, pushed:
https://git.savannah.gnu.org/cgit/coreutils.git/commit/?id=46e0ce5e5d03

Have a nice day,
Berny

Reply via email to