On 11/29/2017 06:43 AM, Pádraig Brady wrote:
> +1

Thanks, pushed at:
https://git.sv.gnu.org/cgit/coreutils.git/commit/?id=052cce9e3e92

Have a nice day,
Berny



Reply via email to